projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9859871 1b73f26)
Merge pull request #5851 from micmac1/mariadb
authorJo-Philipp Wich <jo@mein.io>
Sat, 28 Apr 2018 12:46:29 +0000 (14:46 +0200)
committerGitHub <noreply@github.com>
Sat, 28 Apr 2018 12:46:29 +0000 (14:46 +0200)
mysql: switch from MySQL to Mariadb


Trivial merge
Mirror of packages feed