Merge pull request #673 from daveshah1/ecp5_improve
authorClifford Wolf <clifford@clifford.at>
Fri, 19 Oct 2018 15:32:42 +0000 (17:32 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Oct 2018 15:32:42 +0000 (17:32 +0200)
Small ECP5 improvements


Trivial merge