tree c4da2257fd6854bb63478b93a948deb78b8d5998
parent 1ca8c638b132009e213fda8e02e77cc2d09fb824
parent ed9587c0a4f354cedb89326c956c01cadf224af1
author Wei Wang <wangwei@comp.nus.edu.sg> 1471456742 +0800
committer Wei Wang <wangwei@comp.nus.edu.sg> 1471456742 +0800

Merge branch 'v1-rc0'