On Sun, 2015-05-17 at 23:02 +0000, Martin von Zweigbergk wrote: > Drew withdrew his patch, but it looks like it was accepted... Back it out? Seems pretty harmless? -- Mathematics is the supreme nostalgia of our time.