Bug#1024840: updated patch

Yes, I have noticed the fix and included something along these lines, in a batch of changes now awaiting sponsor review. Thanks, Gábor

Bug#1024840: updated patch

Hi, now that https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1028290 is fixed, here's an updated patch: --- msc-generator-8.1/debian/control2022-07-28 13:30:06.0 +0200 +++ msc-generator-8.1/debian/control2023-06-18 11:09:54.0 +0200 @@ -5,7 +5,7 @@ Build-Depends: debh