chore: mention #version in bug report template (#5769)

leanprover · Oct 30, 2024 · 09802e8 · 09802e8
1 parent b5bbc57
commit 09802e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -39,7 +39,7 @@ Please put an X between the brackets as you perform the following steps:
 
 ### Versions
 
-[Output of `#eval Lean.versionString`]
+[Output of `#version` or `#eval Lean.versionString`]
 [OS version, if not using live.lean-lang.org.]
 
 ### Additional Information