Closed fingolfin closed 1 year ago
Merging #46 (d7094f8) into master (493442b) will not change coverage. The diff coverage is
100.00%
.
@@ Coverage Diff @@
## master #46 +/- ##
=======================================
Coverage 98.09% 98.09%
=======================================
Files 21 21
Lines 7697 7697
=======================================
Hits 7550 7550
Misses 147 147
Impacted Files | Coverage Δ | |
---|---|---|
PackageInfo.g | 100.00% <100.00%> (ø) |
I'll merge this shortly (mostly made this as a PR so @xpan-eileen sees it) and then will make a release using ReleaseTools, and submit the package for inclusion with the GAP package distribution.