Revision 91967dab11e9a5f99e3a4eb8c733dbb2ffc24117

Committed on 11/01/2018 10:21 am by Luca Realdi <[email protected]> [GitHub Diff]

fix location query