]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #11761 from nextcloud/stable14-11756-ignore-session-lifetime-if...
authorMorris Jobke <hey@morrisjobke.de>
Thu, 11 Oct 2018 11:25:20 +0000 (13:25 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Oct 2018 11:25:20 +0000 (13:25 +0200)
[stable14] Ignore "session_lifetime" if it can not be converted to a number


Trivial merge