[arch-commits] Commit in (python-mypy_extensions)

[Morten Linderud via arch-commits]

    Date: Saturday, October 6, 2018 @ 13:12:27
  Author: foxboron
Revision: 390867

Removed mypy_extensions

Deleted:
  python-mypy_extensions/