Closed tscrim closed 8 years ago
As noted on http://trac.sagemath.org/ticket/19178.
Done in 857c9ba89a698251837ece851a547ded7a31c5d3
As noted on http://trac.sagemath.org/ticket/19178.