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

[Nicolas Goaziou]

Hello,

Ludovic Courtès <ludo@gnu.org> writes:

> Christopher Baines <mail@cbaines.net> 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