[Piuparts-devel] pull: for-holger

[Andreas Beckmann]

piatti and develop are desynced:

Andreas Beckmann (1):
      Merge branch 'piatti' into develop

(that's a no-change merge)


That looks sensible, although I didn't test it, yet:

David Steele (1):
      Fix states url reference in piuparts-report.py dist html output.


Thereafter merge (should fast-forward again) into piatti and activate :-)

And delete squeeze non-pass/*.log again ... so that you actually run
with --warn-on-debsums-mismatch


Andreas