]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #918 from Lucas-C/master
authorVirtualTam <virtualtam+github@flibidi.net>
Mon, 7 Aug 2017 14:20:36 +0000 (16:20 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Aug 2017 14:20:36 +0000 (16:20 +0200)
Adding missing empty() as spotted in #889 code review


Trivial merge