On Tue, Mar 26, 2024 at 06:06:42PM -0400, Greg Troxel wrote: > So: > > - this was thought about and believed within the rules > - I should just delete the destdir and continue > - we believe that I will then have no problems
Yes! (If this would cause problems, you had them before but subtely hidden and at runtime) Martin
