Stop using GNU libtool for linking GAP and libgap #5306
Merged
Codecov / codecov/project
succeeded
Jan 19, 2024 in 7s
78.19% (+4.06%) compared to e0cc1f8
View this Pull Request on Codecov
78.19% (+4.06%) compared to e0cc1f8
Loading