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/