Bug#800060: dgit push failed with checksum mismatch

[Ian Jackson]

Johannes Schauer writes ("Bug#800060: dgit push failed with checksum mismatch"):
> Quoting Johannes Schauer (2015-09-26 13:21:17)
...
> indeed I am now able to reproduce this bug!

Hooray, thanks.

Ian.