> On Jun 21, 2022, at 2:19 AM, Michel Dänzer wrote:
>
> On 2022-06-21 05:37, Jeremy Sequoia wrote:
>> I reverted
>
> Thanks.
>
> Note that "make dist" is still broken on server-22.1-branch:
> https://gitlab.freedesktop.org/xorg/xserver/-/jobs/24330392 (I don't
> personally care about this,
On 2022-06-21 05:37, Jeremy Sequoia wrote:
> I reverted
Thanks.
Note that "make dist" is still broken on server-22.1-branch:
https://gitlab.freedesktop.org/xorg/xserver/-/jobs/24330392 (I don't personally
care about this, but the 22.1 branch maintainer might :)
> and created a pull request to
