chore: mention #version in bug report template

2026-04-13 23:54:10 +00:00 · 2024-10-18 12:29:05 -07:00
1 changed files with 1 additions and 1 deletions
--- 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