merged rename_on_location_change branch
authorEdouard Tisserant
Thu, 04 Apr 2019 14:00:17 +0200
changeset 2576 c08bbfe7bbd4
parent 2572 9622418ac28c (diff)
parent 2575 aee08bd135d8 (current diff)
child 2578 eed31489c909
child 2581 20eb4e7a0647
merged rename_on_location_change branch