On Wed, Jun 03, 2020 at 05:16:26PM +0200, Karel Zak wrote:
> Stanislav, can you re-send the patch by git-send-email or create PR on
> git-hub? Please. It seems the patch is broken by your/my email client (or
> so) :-(
OK, applied manually. You don't need to resend it :-)
Karel
--
Karel Zak <kzak@xxxxxxxxxx>
http://karelzak.blogspot.com
