Skip to content

v4.4.3

Compare
Choose a tag to compare
@fingolfin fingolfin released this 08 Nov 16:38
· 212 commits to master since this release
  • 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)