Code

Fix lowering of non-optional Box#350

Code

Merged

robertbastian merged 2 commits intorust-diplomat:mainrust-diplomat/diplomat:mainfrom robertbastian:lowerrobertbastian/diplomat:lowerCopy head branch name to clipboardNov 1, 2023

+4-4

Commits

Commits on Nov 1, 2023

• fix

  robertbastian

  committed
  e1b32d3

• test

  robertbastian

  committed
  5644f0b