commit | 84b565031543612e536c907d1389dac8110c2a05 | [log] [tgz] |
---|---|---|
author | Joel Fernandes <joelaf@google.com> | Thu Aug 30 19:30:58 2018 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Aug 30 19:30:58 2018 +0000 |
tree | 9bcff91f88ddd97c1776c001514b3bef0d8566ed | |
parent | a0a67862aa87a92f47e3099b6fe64df50caabf72 [diff] | |
parent | 299488d7c15b5acda668c970c84bd66c3a1018eb [diff] |
Merge "Rename map names in read_mapinfo"