Merge "Improve serialization of Message, Title"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Jul 2015 19:52:16 +0000 (19:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Jul 2015 19:52:16 +0000 (19:52 +0000)
commit6c5470467e0123978ed5cb3fca3353d9c433440c
tree37b3cb8aefc5d1fd6681bd67fa94691ae835b35f
parentc0998bd6273397474725e368183d85ee5d826594
parent7782819d647bd23eb9680736806213fe3600833f
Merge "Improve serialization of Message, Title"
includes/Title.php