Subject: [bug#63521] Request for merging "tex-team" branch

From: Nicolas Goaziou <[email-masked]>
Date: Wed, 24 May 2023 19:28:39 +0200

Hello,

Ludovic Courtès <[email-masked]> writes:

> Christopher Baines <[email-masked]> skribis:

>> Maybe the branch could be rebased or master could be merged in? If you
>> pick the latest commit with a green tick by it from [1], then that
>> should mean the data service is able to perform the comparison.
>
> Sounds like a plan.  Nicolas?

I rebased the branch on top of c57693846c7c6586c6cd1b4e4002fe399e3a2c42,
which is as green-ticked as a commit can be.

Regards,
-- 
Nicolas Goaziou