Subject: bug#70910: xdot has stopped working after update to 1.3

From: Ada Stevenson <[email-masked]>
Date: Tue, 14 May 2024 07:08:46 +0000

Hi all,

I've tested the patch on a fresh checkout. LGTM!

Thanks for looking into this, Ludo', Artyom!

Warmly,

Ada