Tom Tromey wrote: > Could you file this in bugzilla (including the test case)? > Reports to the list tend to get lost unless someone fixes them > immediately. > Bug #18893 created. Regards, Thomas Hallgren