Merge "Decode '0'-valued user options to integer 0"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 25 Mar 2017 01:50:56 +0000 (01:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 25 Mar 2017 01:50:56 +0000 (01:50 +0000)
commit1df6b21c90965ec7bb204d6fbab6082cc5805c3a
tree5c603c00bf8cd78fc00edc3268611a2e6c298ae7
parent070f457ed4d6ce5fbd49d6ea4978228c0574c38e
parent40f89f230ecc3f681424b9e31a7dde94e1e75820
Merge "Decode '0'-valued user options to integer 0"