| Reporter: | Erik Schnetter |
| Status: | resolved |
| Milestone: | |
| Version: | |
| Type: | bug |
| Priority: | major |
| Component: |
Changes (by Roland Haas):
| status: | resolved (was open) |
Comment (by Roland Haas):
Thank you for the patch.
--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-detect-gettimeofday-timer