Btw this seems to have been there for quite a while, the builds show the error since version 0.1.6+14.04.20131219.1, although not sooner (but don't take the date as something exact, it's the debian pkg version, but still might have been introduced by a change around that time). Otoh as a race it might have been there for a while and we were just lucky.
Btw this seems to have been there for quite a while, the builds show the error since version 0.1.6+14. 04.20131219. 1, although not sooner (but don't take the date as something exact, it's the debian pkg version, but still might have been introduced by a change around that time). Otoh as a race it might have been there for a while and we were just lucky.