]> cloud.milkyroute.net Git - dolphin.git/commitdiff
Merge branch 'release/19.12'
authorAntonio Rojas <arojas@archlinux.org>
Mon, 9 Dec 2019 22:23:07 +0000 (23:23 +0100)
committerAntonio Rojas <arojas@archlinux.org>
Mon, 9 Dec 2019 22:23:07 +0000 (23:23 +0100)

Trivial merge