]>
2020-05-25 | bors | Auto merge of #5647 - ebroto:5644_allow_ptr_arg_in_arg_... | blob | commitdiff | raw | diff to current |
2020-05-25 | bors | Auto merge of #4429 - jeremystucki:or_fun_call, r=flip1995 | blob | commitdiff | raw | diff to current |
2020-05-25 | bors | Auto merge of #5641 - ThibsG:DocCommonTools, r=flip1995 | blob | commitdiff | raw | diff to current |
2020-05-25 | ThibsG | Add common lint tools doc | blob | commitdiff | raw | diff to current |