[arch-commits] Commit in (discord-ptb)

[Robin Broda via arch-commits]

    Date: Thursday, August 8, 2019 @ 00:12:19
  Author: coderobe
Revision: 498317

Deleting discord-ptb, consensus reached by #al-tu

Deleted:
  discord-ptb/