On Wed, 2022-02-16 at 14:38 -0500, Jeffrey Walton via xml wrote: > Rather than deleting them, how about moving them to archive/ or > similar. If they are archived they will still be available in case > some folks are using them.
Then people would need to move them outside the archive/ directory or update the paths to be able to use them. At that point it would be easier for them to just revert the removal commit. _______________________________________________ xml mailing list, project page http://xmlsoft.org/ xml@gnome.org https://mail.gnome.org/mailman/listinfo/xml