Update RELEASE_NOTES

Co-authored-by: Bob Dröge <[email protected]>
trz42 · Nov 14, 2023 · 04c724d · 04c724d
1 parent 150f125
commit 04c724d
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 minor 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: