[Rjevski]

Never happened yet, but this kind of nightmare is also one of the reasons I’m very reluctant to publish any open source code.