On Thu, Mar 13, 2025 at 1:45 AM Andrew Liu wrote:
>
>
> On Tuesday, March 11, 2025 at 10:12:49 PM UTC-4 Martin Thomson wrote:
>
> On Wed, 12 Mar 2025 at 03:15, Andrew Liu wrote:
>
>
> I don't have permissions in the repo to merge the PR. I formally became a
> spec editor a week ago, but GH permi
On Wed, 12 Mar 2025 at 03:15, Andrew Liu wrote:
>
> I don't have permissions in the repo to merge the PR. I formally became a
> spec editor a week ago, but GH permission changes have to go through the
> PrivacyCG chairs.
>
I’ve fixed that. It was an oversight on the part of the chairs.
However,
