From: whitequark <whitequark@whitequark.org>
Date: Fri, 26 Jun 2020 07:29:24 +0000 (+0000)
Subject: Merge pull request #2189 from antmicro/optional-labels
X-Git-Tag: working-ls180~446
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6bdc09422e89c30207810cf00021b9ea37991e7;p=yosys.git

Merge pull request #2189 from antmicro/optional-labels

Add support for optional labels
---

d6bdc09422e89c30207810cf00021b9ea37991e7