On 03/12/2018 09:31 AM, Pavel Sanda wrote:
> Pavel Sanda wrote:
>> commit e41c80e224bfd89497e9cf9ddea73f1e635587e8
>> Author: Pavel Sanda <sa...@lyx.org>
>> Date: Mon Mar 12 13:40:52 2018 +0100
>> Paint \dot & \ddot more like a dot
> Richard this might go to 2.3 as well if you want.
> But it needs ack from mac and win person that \ddot & \dot works as expected
Fine for 2.3.2-staging when you get confirmation.