Die bug, die!

I just closed bug #777, which has the shortest life-span ever seen on our bugzilla:
– introduced by a sync on Aug 3, 10:31.
– reported on bugzilla on Aug 3, 23:23.
fixed on Aug 3, 23:40.

:-)