Commit Graph

3 Commits (81a52442a129322acfa12bc22a75aa2652484f33)

Author SHA1 Message Date
zeripath 74179d1b5e Remove SavePatch and generate patches on the fly (#9302) 5 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