0.13 release

Antonio Russorequested to merge
aerusso/dma:pulls/v0.13-release into debian

This merges in the changes from upstream 0.13.

I'm currently running this locally, in particular the new FINGERPRINT option is much appreciated.

Merge request reports