rborer opened this issue 4 years ago · 2 comments
Howdy,
For consistency reasons how about tagging commit 090b507 as release-0.7.2?
Done
Thanks!