|
From: | Marc Hohl |
Subject: | Re: Remove thin-kern property. (issue 105560044 by address@hidden) |
Date: | Wed, 09 Jul 2014 09:06:53 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 |
Am 08.07.2014 20:20, schrieb address@hidden:
marc wrote:OK, but 'thin-kern does not seem to be an appropriate name for this property anymore IMHO.How about 'segno-kern? (patch updated accordingly)
Much better!
[Prev in Thread] | Current Thread | [Next in Thread] |