]>
2019-02-01 | bors | Auto merge of #3726 - phansch:some_renaming, r=oli-obk | blob | commitdiff | raw |
2019-01-29 | bors | Auto merge of #3648 - phansch:const_fn_lint, r=oli-obk | blob | commitdiff | raw |
2019-01-29 | bors | Auto merge of #3716 - matthiaskrgr:sh, r=phansch | blob | commitdiff | raw |
2019-01-29 | Matthias Krüger | fetch_prs_between: add .sh file ending | blob | commitdiff | raw |