Merge branch 'master' of https://github.com/cliffordwolf/yosys into ubuntu
Merge branch 'master' into ubuntu
fixed revision displayed
Updated version
Merge branch 'ubuntu' of https://github.com/rubund/yosys into ubuntu