Several issues were raised since we have released 0.7.2, and they seem to be all resolved. Here's the list of issues in 0.7.3:
I'd like to cast a +1 vote to release 0.7.3:
[X] +1 Release MINA 0.7.3
[ ] 0
[ ] -1 It still needs more work to deserve that number.