projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a809dc6 0e1a289)
Merge pull request #12205 from micmac1/mar-master-10413
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 17 May 2020 21:00:08 +0000 (00:00 +0300)
committerGitHub <noreply@github.com>
Sun, 17 May 2020 21:00:08 +0000 (00:00 +0300)
mariadb: minor verison bump with CVE fixes


Trivial merge
Mirror of packages feed