Skip to content

Allow to turn off the matches recording introduced in #1469.#1472

Merged
emilio merged 3 commits intorust-lang:masterfrom
emilio:record-matches-flag
Dec 23, 2018