Release notes as on 2021-06-10

alex-konovalov committed Jun 10, 2021

Paste autogenerated GAP 4.12 release overview.

alex-konovalov committed Apr 26, 2021

Updated GAP 4.12 release notes (markdown)

fingolfin committed Feb 16, 2021

Widening the horizon of PRs to consider (pushing back the assumed stable-4.12 branch date to end of 2020)

wilfwilson committed Nov 11, 2020

Created GAP 4.12 release notes (markdown)

alex-konovalov committed Feb 12, 2020