about summary refs log tree commit diff
path: root/.github
diff options
context:
space:
mode:
authorVladimír Čunát <vcunat@gmail.com>2016-08-13 09:46:42 +0200
committerVladimír Čunát <vcunat@gmail.com>2016-08-13 09:46:42 +0200
commitc4d17c530e19aa0f8182ccfa6c69dea5ba7a678b (patch)
tree8c911f4e4b222cfcfcd133998a7d7434cd60707c /.github
parent1c9307d348899f98294319476cf25b171463c56b (diff)
release-small: drop mysql51, removed in 975d33e6
There's still mysql55.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions