4 Commits (5dcd9d5895817260800d8c3a3eab9d00e4313764)

Author SHA1 Message Date
  Lunny Xiao 67b316a954 Refactor comment (#9330) 6 years ago
  zeripath 74179d1b5e Remove SavePatch and generate patches on the fly (#9302) 6 years ago
  guillep2k 2c2b9718e6 Avoid re-issuing redundant cross-references. (#8734) 6 years ago
  guillep2k b15f26b1cf Close/reopen issues by keywords in titles and comments (#8866) 6 years ago