merge 0.13.7 manually
merge 0.13.7 manually

sbt/sbt,sbt/sbt,mdedetrich/sbt,mdedetrich/sbt,mdedetrich/sbt,xuwei-k/xsbt,mdedetrich/sbt,xuwei-k/xsbt,xuwei-k/xsbt,sbt/sbt,Duhemm/util,xuwei-k/xsbt,mdedetrich/sbt,mdedetrich/sbt,sbt/sbt,xuwei-k/xsbt,sbt/sbt,sbt/sbt,sbt/sbt,mdedetrich/sbt