Thanks for reporting that, Lukas. Much appreciated. It confirms that the latest proposed changes should be sufficient to fix bug #1334495 too.
Thanks for reporting that, Lukas. Much appreciated. It confirms that the latest proposed changes should be sufficient to fix bug #1334495 too.