Skip to content

Change how handles are constructed, so that we can ensure non-null handles#136

Merged
madsmtm merged 5 commits intomasterfrom nonnullAug 31, 2023