On Saturday Nov 04 2017, Yuri D'Elia wrote:
> On Fri, Nov 03 2017, nils schween wrote:
>> Does anyone have an idea what I can do about this?
>
> See https://github.com/djcb/mu/pull/1141#issuecomment-341779825 and
> https://github.com/djcb/mu/pull/1148
I've reverted that commit for now, as requested by the author.
Kind regards,
Dirk.
--
Dirk-Jan C. Binnema Helsinki, Finland