[arch-commits] Commit in (openocd)

[Bartłomiej Piotrowski via arch-commits]

    Date: Sunday, January 7, 2018 @ 17:36:17
  Author: bpiotrowski
Revision: 280187

openocd: move to AUR

Deleted:
  openocd/