Closed xbend closed 1 year ago
https://github.com/magma/magma/pull/12395/files @WojSad - try cherry pick @xbend - rewrite as backup
https://github.com/magma/magma/pull/12395/files @WojSad - try cherry pick @xbend - rewrite as backup