3 Commits (bdb93a12a64d89e1d2687fd4e6ac855982e4a99e)

Author SHA1 Message Date
  zeripath d39cb1337f Remove SavePatch and generate patches on the fly (#9302) 6 years ago
  guillep2k 6b245bf763 Avoid re-issuing redundant cross-references. (#8734) 6 years ago
  guillep2k 0ee675b3b7 Close/reopen issues by keywords in titles and comments (#8866) 6 years ago