On Mon, Sep 24, 2018 at 02:39:08AM +0200, Johan Corveleyn wrote: > ^^ copy-paste-o in comment 'A/mu' -> 'A/B'
Thank you. Should all be fixed with r1841796.
On Mon, Sep 24, 2018 at 02:39:08AM +0200, Johan Corveleyn wrote: > ^^ copy-paste-o in comment 'A/mu' -> 'A/B'
Thank you. Should all be fixed with r1841796.