-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
New release? #12
Comments
Version 1.4.2 was released on 24th April - thank you. |
While 1.4.2 was released on 24th April, it does not seem to contain the change from commit e860ee1 -- even though that very commit carries the tag I do not know how @bh11 creates those releases, but clearly something went wrong in that process (one of the many reasons I wrote https://github.com/gap-system/ReleaseTools was to prevent issues like these) |
@bh11 could you perhaps make a 1.4.3 release which contains the changes that were supposed to be in 1.4.2? Thanks! |
There is a new release now. I still don’t know what went wrong in the last release, it’s mostly automated. |
Could you perhaps make a new release with the
DegreeOfMatrixGroup
fix in it? It is a blocker for gap-system/gap#4349The text was updated successfully, but these errors were encountered: