From: jenkins-bot Date: Wed, 9 Aug 2017 21:06:57 +0000 (+0000) Subject: Merge "Fix minor issues found with phan" X-Git-Tag: 1.31.0-rc.0~2432 X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=c61c1ac00079c654a0e1a68bf5c25c1f5bef031a Merge "Fix minor issues found with phan" --- c61c1ac00079c654a0e1a68bf5c25c1f5bef031a