On Tue, 25 Jun 2019, Holger Wansing wrote:
> A 'git format-patch' created patch is attached.
merged, pushed, built, installed, upgraded.
Thanks!
--
| .''`. ** Debian **
Peter Palfrader | : :' : The universal
https://www.palfrader.org/ | `. `' Operating System
| `- https://www.debian.org/