Merge pull request #2395 from YosysHQ/sha1_if_contain_spaces
authorclairexen <claire@symbioticeda.com>
Thu, 1 Oct 2020 12:32:43 +0000 (14:32 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Oct 2020 12:32:43 +0000 (14:32 +0200)
Use sha1 for parameter list in case if they contain spaces


Trivial merge