]>
2019-05-27 | Philipp Krones | Rollup merge of #4102 - Urriel:fix/4096_match_same_arms... | blob | commitdiff | raw |
2019-05-20 | bors | Auto merge of #4088 - pJunger:check1, r=oli-obk | blob | commitdiff | raw |
2019-05-18 | pJunger | Added suggestion for conversion with is_ok. | blob | commitdiff | raw |