Merge "Add type hint"
authorReedy <reedy@wikimedia.org>
Wed, 5 Dec 2012 12:59:44 +0000 (12:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 5 Dec 2012 12:59:44 +0000 (12:59 +0000)
commitef10cfc21589371e8c21e29e918ddf135eae2dc1
tree4facb691ac851163f983d44b27bdae1a3c5f573c
parent6d45e0db24857cc927f358164ace6f29930aae4f
parenta2d605afc3313f7d9e268acc704913f6fb9b520c
Merge "Add type hint"