[yosys] 19/57: Merge branch 'ubuntu' of https://github.com/rubund/yosys into ubuntu

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository yosys.

commit e25c301177ac7e5bb66083190311eb29ccda6c84
Merge: 9a57de8 073f2dd
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Sat May 17 00:55:51 2014 +0200

    Merge branch 'ubuntu' of https://github.com/rubund/yosys into ubuntu


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git