Closed fingolfin closed 2 years ago
Merging #15 (4bb0028) into master (a21a98a) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #15 +/- ##
=======================================
Coverage 55.07% 55.07%
=======================================
Files 25 25
Lines 1380 1380
=======================================
Hits 760 760
Misses 620 620
Thanks for the correction!
Thank you very much. Could you perhaps also make a new release with this? I know that's only a trivial change compared to the previous release, but it'd allow me to fully check of RepnDecomp
in our TODO list... :-)
Done!
This package is at the very least "deposited". I don't know if you also submitted it for refereeing by the GAP Council; if so, and if it was "accepted" then of course that should be also reflected in the status.