projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0c66141 d05d47c)
Merge pull request #2681 from msinger/fix-issue2606
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 19 Mar 2021 07:47:07 +0000 (08:47 +0100)
committerGitHub <noreply@github.com>
Fri, 19 Mar 2021 07:47:07 +0000 (08:47 +0100)
Fix check for bad std::regex


Trivial merge