Merge remote-tracking branch 'origin/master' into mobile
authorrsiddharth <rsd@gnu.org>
Sun, 28 Feb 2016 14:48:04 +0000 (09:48 -0500)
committerrsiddharth <rsd@gnu.org>
Sun, 28 Feb 2016 14:48:04 +0000 (09:48 -0500)
commit677474f80c3aa6f3aeeebe4e354028536b3f647a
treeac88bf1eb7b76d17bd8b8fdb8106fd3f3fd55151
parent2548ca0fc36e2b18ac06ef227649b58bfe834c63
parent7732d283bac3e6d8bb67f23e39aeeda6b326d6f3
Merge remote-tracking branch 'origin/master' into mobile