Merge pull request #1829 from nextcloud/fix-explorer-pinning
authorMichael Schuster <48932272+misch7@users.noreply.github.com>
Tue, 3 Mar 2020 19:12:32 +0000 (20:12 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Mar 2020 19:12:32 +0000 (20:12 +0100)
Fix Explorer pinning: Add fallbacks for Shell commands (fixes #1599)


Trivial merge