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)
commit07eecff9cca555086667666c4dbdb4c6a7133c67
tree7dff8b2a9a5eb2797f8195000f473649d87240e2
parent7b3a4a1fff297481a463f27da250af8436041753
parent425867d175f465a7568e146ef4d23bd975d9c55c
Merge pull request #2055 from YosysHQ/eddie/logger_multiple

logger: fix for multiple calls with same pattern