Merge pull request #2055 from YosysHQ/eddie/logger_multiple
authorEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 22:30:08 +0000 (15:30 -0700)
committerGitHub <noreply@github.com>
Thu, 14 May 2020 22:30:08 +0000 (15:30 -0700)
logger: fix for multiple calls with same pattern


Trivial merge