Issue #5211 resolved

Issue no. in commit message not linked to issue tracker if followed by punctuation (BB-6506)

guillermooo
created an issue

Take this commit message:

fix #13; make "Proof only my language" faster

#13 won't be linked to issue #13, presumably because the ";" after it is confusing the parser.

(Oddly, it does work here and my issue has been properly closed in the tracker, but when looking at the commit history tab, it remains unlinked.)

Comments (2)

  1. Log in to comment