On Thu, Jan 25, 2024 at 08:12:24AM +0100, Ruediger Pluem wrote: > Tried it in r1915391 and it seems to work. Not sure if there are > general downsides / objections with regards to symlinks in our > repository. But trunk is CTR :-).
Oh, that looks really nice. +1 Thanks to you, Rich, and Mayank Patil. Regards, Joe