]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #1379 from rfolo9li/patch-1
authornodiscc <nodiscc@gmail.com>
Sat, 9 Nov 2019 15:45:09 +0000 (15:45 +0000)
committerGitHub <noreply@github.com>
Sat, 9 Nov 2019 15:45:09 +0000 (15:45 +0000)
Add php-json as required PHP module


Trivial merge