11.05.2019 4:29, Tobias Kortkamp wrote: > The checksum in distinfo has not changed. Did you forget to update > GH_TAGNAME too? Yes, thank you so much! Fixed in r501257.