Until further notice: Mailroom does not work. Replies to git-generated emails will be silently ignored!
On 2018-02-27, merged from werbemuell
