deleted/r8207/flags-tipdelete · Tags · mpfr / mpfr

GitLab upgrade completed. Current version is 17.11.3.

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

deleted/r8207/flags-tipdelete

vincent@vinc17.net

40310727 · [tests/texceptions.c] Added a comment for check_groups(). · Apr 26, 2012

Removed the flags branch, as it has been reintegrated to the trunk.

[From SVN r8207]

Admin message

Admin message