#1713: Avoid build-time warning

Reporter: Erik Schnetter Status: open Milestone: Version: development version Type: bug Priority: minor Component: EinsteinToolkit thorn

Comment (by Roland Haas):

@{557058:56049c54-f8c2-4b6c-9b88-ab697c967495} would you like to review the pull request that addresses the issue you reported?

Unless objected I will apply this after 2023-03-30

-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/1713/avoid-build-time-w...