Merge pull request #4247 from ivan/info-json
authorJaime Marquínez Ferrándiz <jaimeMF@users.noreply.github.com>
Thu, 20 Nov 2014 07:16:42 +0000 (08:16 +0100)
committerJaime Marquínez Ferrándiz <jaimeMF@users.noreply.github.com>
Thu, 20 Nov 2014 07:16:42 +0000 (08:16 +0100)
Fix #4246 and #4244 .info.json bugs


Trivial merge