[ET Trac] #2721: Cactus does not detect `gettimeofday` timer

[Roland Haas]

#2721: Cactus does not detect `gettimeofday` timer

 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.einsteintoolkit.org/pipermail/trac/attachments/20230508/cfc3c91a/attachment-0001.htm>