]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #1516 from ArthurHoaro/feature/plugin-incompatibility
authorArthurHoaro <arthur@hoa.ro>
Thu, 27 Aug 2020 10:10:16 +0000 (12:10 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Aug 2020 10:10:16 +0000 (12:10 +0200)
Better handling of plugin incompatibility


Trivial merge