Revision 8af4aafc88daea727f16a01b2639820cf5533b9a

Committed on 09/09/2016 2:34 am by gggeek <[email protected]> [GitHub Diff]

change travis config; fix one bug