Hi Markus, On 27 October 2016 at 12:26, Markus Teich <[email protected]> wrote: > now I have. As expected an like before the patch the status bar text gets > overwritten by the tag names. This patch should not introduce new behavior at > all.
OK, I will accept this patch. -Anselm
