Merge branch 'master' into stable
authorrsiddharth <rsd@gnu.org>
Fri, 14 Oct 2016 02:56:13 +0000 (02:56 +0000)
committerrsiddharth <rsd@gnu.org>
Fri, 14 Oct 2016 02:56:13 +0000 (02:56 +0000)
commit7554a198bf3560517ca84bc6f25ed4a09bc52b15
tree53cb099f067dbfbe22e6afe45fcc976d5e915d8e
parent624878e30ead653ee41203a28a210812834f7ada
parent8546075c2b647d4b782928c79d7b21a3e0d4b02c
Merge branch 'master' into stable