This repository was archived by the owner on Jan 9, 2026. It is now read-only.

Fix Principals with modrefs#1273

Merged

jmcardon merged 1 commit intomasterfrom

jose/elide-prin-modref

Aug 9, 2023

Commits on Aug 8, 2023

fix principals + add test
jmcardon
committed