|
From: | Rik |
Subject: | Re: Patch to improve GUI editor on HiDPI displays |
Date: | Fri, 4 May 2018 17:07:58 -0700 |
On 05/04/2018 03:25 PM,
address@hidden wrote:
The minor releases are typically only for bug fixes, and this is very much a feature addition. That doesn't mean we can't make an exception, but it should be debated first. --Rik |
[Prev in Thread] | Current Thread | [Next in Thread] |