#190 default profile for ghc:8.10
Closed 5 years ago by sgallagh. Opened 5 years ago by petersen.
Unknown source master  into  master

file modified
+2 -2
@@ -2,8 +2,8 @@

  version: 1

  data:

      module: ghc

-     modified: 201905020838

+     modified: 202002080901

      profiles:

-         8.4: [default]

          8.6: [default]

          8.8: [default]

+         8.10: [default]

no initial comment

Not needed; it's only default profiles.

Pull-Request has been closed by sgallagh

5 years ago