On 4 Apr 2012, at 12:33, Akim Demaille wrote: > It is installed in maint, it will show in master when I merge.
FYI, all tests passed using gcc 4.7.0 on OS X 10.7.3. Hans $ make check ... ## ------------- ## ## Test results. ## ## ------------- ## 301 tests were successful. 2 tests were skipped.
