aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2020-11-24Fix linkage errors when linking with a shared library (#2011)Victor Zverovich
2020-07-08Move PR template to the top levelVictor Zverovich
2019-03-18Create PR template to help agree to the licensing terms (#1083)Jonathan Müller