diff options
Diffstat (limited to 'results/scraper/fex/1819')
| -rw-r--r-- | results/scraper/fex/1819 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/results/scraper/fex/1819 b/results/scraper/fex/1819 new file mode 100644 index 000000000..38916ba4b --- /dev/null +++ b/results/scraper/fex/1819 @@ -0,0 +1,2 @@ +Include thunks in CI build +So that PRs like #1812 don't get merged by accident \ No newline at end of file |