Commit 3a1317ed47698c268574e1d0018edd6485f5dbc4
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!