Back to bug 14381

Who When What Removed Added
simon.urbanek 2010-09-18 16:01:44 UTC Status NEW RESOLVED
CC simon.urbanek
Resolution --- FIXED
maechler 2015-12-14 13:46:23 UTC Status RESOLVED CLOSED

Back to bug 14381