On 04/27/2015 09:27 AM, Paul Eggert wrote:
Bernhard Voelker wrote:Could we work around it?Sure, how about if we shrink it down to 0.19? Would that work for you?
yes, "0.19" is okay for me - openSUSE-13.2 has 0.19.2. Thanks & have a nice day, Berny
On 04/27/2015 09:27 AM, Paul Eggert wrote:
Bernhard Voelker wrote:Could we work around it?Sure, how about if we shrink it down to 0.19? Would that work for you?
yes, "0.19" is okay for me - openSUSE-13.2 has 0.19.2. Thanks & have a nice day, Berny