|
From: | martin rudalics |
Subject: | bug#11732: Follow-up to bug#11732 |
Date: | Thu, 28 Jun 2018 14:25:29 +0200 |
> All you need is patches I attached, "diff" or "diff2" (not both). Thank you. I will try them (but certainly not on Windows 10 which I don't have). martin
[Prev in Thread] | Current Thread | [Next in Thread] |