4 Commits (17b844a3ecbe1dd74bbde750e6a0adea07d92caa)

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