Adrian Aichner <adrian(a)xemacs.org> writes:
> You're right, I missed that because I didn't look
carefully enough.
> Thanks for the correction.
So, should we revert this change based on the grounds to ease
syncing?
If it were up to me, I'd rather just fix it. Ultimately it should be
up to the person most likely to do the sync in the future.