]>
2018-12-28 | Peter Fürstenau | Merge remote-tracking branch 'upstream/master' | blob | commitdiff | raw |
2018-12-22 | bors | Auto merge of #3569 - phansch:update_contributing,... | blob | commitdiff | raw |
2018-12-19 | bors | Auto merge of #3552 - phansch:make_integration_tests_fa... | blob | commitdiff | raw |
2018-12-19 | bors | Auto merge of #3546 - matthiaskrgr:fix_install, r=oli-obk | blob | commitdiff | raw |
2018-12-18 | bors | Auto merge of #3554 - klausi:module_name_repeat, r... | blob | commitdiff | raw |
2018-12-17 | flip1995 | Rename lint to MODULE_NAME_REPETITIONS | blob | commitdiff | raw |