Skip to content

v2.5.3
Compare
Choose a tag to compare
@fingolfin fingolfin released this 08 Nov 16:37
· 150 commits to master since this release
v2.5.3
ee5cffc
  • Tweak the build system to avoid potential issues when the source
    code gets repackages by third parties (e.g. by the GAP team, when
    creating their big package archives)
Assets 4
Loading