Merge branch 'release_v0_1_1' of github-trz:trz42/eessi-bot-software-…

…layer into release_v0_1_1
trz42 · Nov 14, 2023 · 9add7d8 · 9add7d8
2 parents be5b585 + 04c724d
commit 9add7d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE_NOTES b/RELEASE_NOTES
@@ -7,7 +7,7 @@ v0.1.1 (14 November 2023)
 This is a patch release of the EESSI build-and-deploy bot.
 
 Bug fixes:
-* omit header in output of squeue run by the job manager (#220)
+* omit header in output of `squeue` command run by the job manager (#220)
 * make bot compatible with more recent versions of PyGithub (#224)
 
 Improvements: