From c0c642948c762845d5b0e5232b4af5a8646708c3 Mon Sep 17 00:00:00 2001 From: Gwyn Ciesla Date: Aug 31 2017 11:06:39 +0000 Subject: "Adding monitoring for rpms/ghc-microlens-th" --- diff --git a/rpms/ghc-microlens-th b/rpms/ghc-microlens-th new file mode 100644 index 0000000..36c7473 --- /dev/null +++ b/rpms/ghc-microlens-th @@ -0,0 +1 @@ +monitoring: monitoring-with-scratch