2020-03-30 | Marius Bakke | Merge branch 'master' into core-updates | blob | commitdiff | raw |
2020-03-28 | Jakub Kądziołka | Merge branch 'master' into staging | blob | commitdiff | raw |
2020-03-28 | Amin Bandali | Update email address and Savannah handle for Amin Bandali. | blob | commitdiff | raw |
2020-01-21 | Marius Bakke | Merge branch 'staging' into core-updates | blob | commitdiff | raw | diff to current |
2020-01-21 | Marius Bakke | Merge branch 'master' into staging | blob | commitdiff | raw | diff to current |
2020-01-17 | Amin Bandali | Update email address for Amin Bandali. | blob | commitdiff | raw | diff to current |
2020-01-11 | Marius Bakke | Merge branch 'master' into core-updates | blob | commitdiff | raw |
2020-01-07 | Marius Bakke | Merge branch 'staging' | blob | commitdiff | raw |
2020-01-03 | Amin Bandali | gnu: Add lean. | blob | commitdiff | raw |