Merge pull request #154 from jix/sby_design-fixes
authorJannis Harder <me@jix.one>
Thu, 31 Mar 2022 14:35:40 +0000 (16:35 +0200)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 14:35:40 +0000 (16:35 +0200)
sby_design fixes


Trivial merge