Comment (by Roland Haas):

@Erik Schnetter 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-warning