Merge pull request #141216 from r-burns/openfst-1.8
authored by Sandro and committed by GitHub 4 years ago d54883b1 4f7dd974