Merge pull request #2189 from antmicro/optional-labels
authorwhitequark <whitequark@whitequark.org>
Fri, 26 Jun 2020 07:29:24 +0000 (07:29 +0000)
committerGitHub <noreply@github.com>
Fri, 26 Jun 2020 07:29:24 +0000 (07:29 +0000)
commitd6bdc09422e89c30207810cf00021b9ea37991e7
tree76e4da06f9e40b5626b1a2b35150cc2a1a68578b
parentc7d71f436d822bbbe3cda118591ed2b33eae3a7f
parenta8750b496e0bf7943abab813531cc3fba9b60352
Merge pull request #2189 from antmicro/optional-labels

Add support for optional labels