8 May
2023
8 May
'23
11:55 a.m.
#2721: Cactus does not detect `gettimeofday` timer
Reporter: Erik Schnetter Status: open Milestone: Version: Type: bug Priority: major Component:
Comment (by Roland Haas):
Applied as git hash [8a5bfc47](https://bitbucket.org/cactuscode/cactus/commits/8a5bfc479e04548f4ef9fdc5cce0...) "Cactus: Regenerate configure" of [cactus](https://bitbucket.org/cactuscode/cactus)
-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-de...