Skip to content

Replace os.errno with errno, linting#1257

Merged
diego-plan9 merged 3 commits intoQiskit:masterfrom diego-plan9:fix/errno-3.7Nov 13, 2018

Commits

Commits on Nov 12, 2018

Commits on Nov 13, 2018