- From: Norm Tovey-Walsh <norm@saxonica.com>
 - Date: Wed, 07 Feb 2024 06:44:40 +0000
 - To: Michael Kay <mike@saxonica.com>
 - Cc: public-xslt-40@w3.org
 
Received on Wednesday, 7 February 2024 06:45:39 UTC
Michael Kay <mike@saxonica.com> writes:
> I've fixed the conflicts in PR 992.
Thanks.
> I've amended PR #993 to add the agreed changes (we dropped the options char("#32") and char("#x20")).
>
> I'm not quite sure of the protocol regarding amending a PR after it
> has been accepted and merged... Hope that works.
It didn’t turn up again under #993, but it was easy to point-and-click
my way through to make a new PR for the commit.
                                        Be seeing you,
                                          norm
--
Norm Tovey-Walsh
Saxonica
Received on Wednesday, 7 February 2024 06:45:39 UTC