]>
2022-01-23 | Philipp | Merge pull request #11141 from urbalazs/language-names | blob | commitdiff | raw |
2022-01-17 | Michael | Merge remote-tracking branch 'upstream/2021.12-rc'... | blob | commitdiff | raw |
2022-01-16 | Hypolite Petovan | Merge pull request #11159 from annando/api-finally... | blob | commitdiff | raw |
2022-01-16 | Michael | Standards | blob | commitdiff | raw |
2022-01-16 | Michael | Merge branch 'api-finally-moved' of github.com:annando... | blob | commitdiff | raw | diff to current |
2022-01-16 | Michael Vogel | Apply suggestions from code review | blob | commitdiff | raw | diff to current |
2022-01-15 | Michael | API: The legacy API finally moved | blob | commitdiff | raw | diff to current |