|
3a1317ed
|
2021-03-09T15:54:25
|
|
Minor tweak to workflow settings.
There was an (innocently intended, I assume!) "make X great again" joke in a previous commit message, and I'd like this not to be the first thing people see on our GitHub project page, so I added some whitespace to the end of this file.
Apologies to any that were bothered by that, it was an accident!
|