On 2018-07-16, Andreas Kusalananda Kähäri <andreas.kah...@icm.uu.se> wrote: > There was an edit to a rather long and erroneous commit message on > Thursday last week that may have confused something.
The problems started a few hours before that commit, though it may have exacerbated it.
