[arch-commits] Commit in (hotdoc)

[Jan Steffens via arch-commits]

    Date: Tuesday, September 21, 2021 @ 16:56:20
  Author: heftig
Revision: 424476

hotdoc is in community

Deleted:
  hotdoc/