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.

Reply via email to