PrintObj(1.)
prints "1" instead of "1." or "1.0"
#3369
Labels
gapdays2019-spring
Issues and PRs that arose at https://www.gapdays.de/gapdays2019-spring
kind: bug
Issues describing general bugs, and PRs fixing them
This is in current GAP master:
The text was updated successfully, but these errors were encountered: