On Thu 10 Feb 2011 22:01, Mark H Weaver <m...@netris.org> writes: > Here are some miscellaneous fixes. The only non-trivial patch here is > the last one, which includes (among other things) another rework of the > testing framework for number-theoretic division operators.
Applied, thanks. Andy -- http://wingolog.org/