[GRASS-git] [OSGeo/grass] 0d8037: g.extension

[Markus Metz]

  Branch: refs/heads/releasebranch_7_8
  Home:   https://github.com/OSGeo/grass
  Commit: 0d80376d371b15a2074ef02acefd5b8f12b31977
      https://github.com/OSGeo/grass/commit/0d80376d371b15a2074ef02acefd5b8f12b31977
  Author: Markus Metz <markus.metz.giswork at gmail.com>
  Date:   2020-05-05 (Tue, 05 May 2020)

  Changed paths:
    M scripts/g.extension/g.extension.py

  Log Message:
  -----------
  g.extension

sync last remaining bits to master