Merge pull request #850 from daveshah1/ecp5_warn_conflict
authorClifford Wolf <clifford@clifford.at>
Tue, 5 Mar 2019 23:23:01 +0000 (15:23 -0800)
committerGitHub <noreply@github.com>
Tue, 5 Mar 2019 23:23:01 +0000 (15:23 -0800)
ecp5: Demote conflicting FF init values to a warning


Trivial merge