On 2020-02-17, at 2:36 AM, Thiede, Christoph Christoph.Thiede@student.hpi.uni-potsdam.de wrote:
You mean that "ifNone: [0]"? One could replace it with "ifNone: 0" to avoid duplication.
Please don't. This is ugly beyond any level of acceptability
tim -- tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim Useful random insult:- On permanent leave of absence from his senses.