Revert "Merged 'master' branch" (I squashed by mistake)#3128

danpovey merged 1 commit intokaldi10kaldi-asr/kaldi:kaldi10from

revert-3127-kaldi10kaldi-asr/kaldi:revert-3127-kaldi10Copy head branch name to clipboard