Jani Nikula <jani at nikula.org> writes: > > The config change needs to be pushed to the nmbug repo too before > upgrading notmuch on that server. > done already, but thanks for the hint. d