svn commit: r64441 - /dev/incubator/baremaps/0.7.2-rc3/ /release/incubator/baremaps/0.7.2/

[bchapuis]

Author: bchapuis
Date: Tue Oct 10 08:10:23 2023
New Revision: 64441

Log:
Baremaps 0.7.2

Added:
    release/incubator/baremaps/0.7.2/
      - copied from r64440, dev/incubator/baremaps/0.7.2-rc3/
Removed:
    dev/incubator/baremaps/0.7.2-rc3/