diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:30:45 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:32:15 +0200 |
| commit | f50684f5cd1c3dc316a3b2b76e07e06fb9ae6d55 (patch) | |
| tree | 5bbd01152779f6628269ddba7bfcb00f09e5e0f1 /html-test/ref/mini_BugDeprecated.html | |
| parent | 3266a962f7b6083b4b48cb66e70c62e3157df930 (diff) | |
Update CI job to use GHC 8.7.*
Diffstat (limited to 'html-test/ref/mini_BugDeprecated.html')
0 files changed, 0 insertions, 0 deletions