projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ddea6e7 db9ceb3)
Merge pull request #8042 from micmac1/maria-bump
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 27 Jan 2019 18:26:00 +0000 (20:26 +0200)
committerGitHub <noreply@github.com>
Sun, 27 Jan 2019 18:26:00 +0000 (20:26 +0200)
mariadb: minor version bump + cfg file move


Trivial merge
Mirror of packages feed