]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #14786 from nextcloud/bugfix/noid/remove-unused-member
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Thu, 21 Mar 2019 14:00:08 +0000 (15:00 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Mar 2019 14:00:08 +0000 (15:00 +0100)
Remove unused member "util"


Trivial merge