These references only touch shell scripts so I think they should be just fine. I’ll give it a look when I’m back at work after the weekend to be sure though.
Sent from ProtonMail for iOS
On Sun, Mar 13, 2022 at 18:14, Ludovic Courtès <ludo@gnu.org> wrote:
However, that ‘replace-paths’ phase also touches references to /bin/sh; are they also a problem after GC?