On Wed, Jul 23, 2008 at 7:11 PM, Vegard Nossum <email@example.com> wrote:
Latest -git seems to have the same problem, and this was about three
weeks ago, so.. Ping?
"The animistic metaphor of the bug that maliciously sneaked in while
the programmer was not looking is intellectually dishonest as it
disguises that the error is the programmer's own creation."
-- E. W. Dijkstra, EWD1036