[arch-commits] Commit in (php71)

[Levente Polyak via arch-commits]

    Date: Thursday, March 15, 2018 @ 16:03:10
  Author: anthraxx
Revision: 308608

remove php71

Deleted:
  php71/