Bug#963054: gringo: diff for NMU version 5.4.1-3.1

[Adrian Bunk]

Control: tags 963054 + pending
Control: tags 1015422 + patch
Control: tags 1015422 + pending
Control: tags 1017161 + patch
Control: tags 1017161 + pending
Control: tags 1023682 + patch
Control: tags 1023682 + pending

Dear maintainer,

I've prepared an NMU for gringo (versioned as 5.4.1-3.1) and uploaded
it to DELAYED/15. Please feel free to tell me if I should cancel it.

cu
Adrian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gringo-5.4.1-3.1-nmu.diff
Type: text/x-diff
Size: 50763 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20221119/5f6f2d9c/attachment-0007.diff>