mirror of https://github.com/omar-polo/gmid.git
ensure we're in the correct state
This commit is contained in:
parent
0ac2dceccc
commit
06f233ad8a