[GRASS-git] [OSGeo/grass] c80bd7: infrastructure doc: updated

[Markus Neteler]

  Branch: refs/heads/releasebranch_7_8
  Home:   https://github.com/OSGeo/grass
  Commit: c80bd70415ce2421d6c316e014f68d6698c8722b
      https://github.com/OSGeo/grass/commit/c80bd70415ce2421d6c316e014f68d6698c8722b
  Author: Markus Neteler <neteler at gmail.com>
  Date:   2020-06-17 (Wed, 17 Jun 2020)

  Changed paths:
    M doc/infrastructure.md

  Log Message:
  -----------
  infrastructure doc: updated