On Tue, Mar 19, 2013 at 12:57 PM, Kai Engert <kaie at kuix.de> wrote: > For those who didn't scroll to the end of my previous message, I propose > to use the name: > > Schroedingers Katze Again no if we find bugs we should fix them not apply duct tape to hide them.