restic 0.7.2 released


This is a companion discussion topic for the original entry at https://restic.net/blog/2017-09-13/restic-0.7.2-released