]>
2020-02-15 | bors | Auto merge of #4809 - iankronquist:patch-1, r=flip1995 | blob | commitdiff | raw |
2020-01-07 | bors | Auto merge of #5000 - JohnTitor:backticks, r=flip1995 | blob | commitdiff | raw |
2020-01-07 | Yuki Okushi | Update stderrs | blob | commitdiff | raw |
2019-12-30 | bors | Auto merge of #4970 - krishna-veerareddy:fix-replace... | blob | commitdiff | raw | diff to current |
2019-12-30 | bors | Auto merge of #4634 - m-ober:feature/2320-map-or, r... | blob | commitdiff | raw | diff to current |
2019-12-28 | Micha Ober | Add real suggestion to option_map_unwrap_or | blob | commitdiff | raw | diff to current |