| Reporter: | Erik Schnetter |
| Status: | open |
| Milestone: | |
| Version: | development version |
| Type: | enhancement |
| Priority: | minor |
| Component: | Other |
Comment (by Roland Haas):
Unless objected I will apply this after 2019-09-26.
--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2035/nanchecker-should-not-use-integer-division