Back to bug 16456

Who When What Removed Added
ripley 2015-06-30 09:48:18 UTC Status UNCONFIRMED RESOLVED
Resolution --- FIXED
maechler 2015-07-18 16:33:29 UTC Status RESOLVED CLOSED
CC maechler

Back to bug 16456