Merge pull request #5372 from nextcloud/bugfix/revert-mono-config-delete
authorClaudio Cambra <claudio.cambra@gmail.com>
Fri, 27 Jan 2023 12:16:22 +0000 (13:16 +0100)
committerGitHub <noreply@github.com>
Fri, 27 Jan 2023 12:16:22 +0000 (13:16 +0100)
Revert "Merge pull request #5366 from nextcloud/bugfix/remove-mono-icons-setting"


Trivial merge