]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #21001 from rubo77/pngs
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Fri, 22 May 2020 14:37:58 +0000 (16:37 +0200)
committerGitHub <noreply@github.com>
Fri, 22 May 2020 14:37:58 +0000 (16:37 +0200)
compress some images with tinypng.com


Trivial merge