Clarify some comments in rm_epsilon; fix possible bug there.#965
Open
danpovey wants to merge 2 commits into
Open
Clarify some comments in rm_epsilon; fix possible bug there.#965danpovey wants to merge 2 commits into
danpovey wants to merge 2 commits into