chore: Issue template: Suggest #eval Lean.versionString (#2884)

as this works also on https://live.lean-lang.org/ or for people not familiar with the command line.
leanprover · Nov 16, 2023 · ad77e7e · ad77e7e
1 parent b3e9bb4
commit ad77e7e
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
@@ -33,7 +33,7 @@ assignees: ''
 
 ### Versions
 
-[Output of `lean --version` in the folder that the issue occured in]
+[Output of `#eval Lean.versionString` or of `lean --version` in the folder that the issue occured in]
 [OS version]
 
 ### Additional Information