[arch-commits] Commit in (fsharp)

[Antonio Rojas]

    Date: Tuesday, October 24, 2017 @ 07:26:55
  Author: arojas
Revision: 308386

Dropped to AUR

Deleted:
  fsharp/