Skip to content

Seal ghost_var and mnat_own

Ralf Jung requested to merge ralf/seal into master

Unification of own tends to cause performance problems, so let's make sure we seal every library that wraps own.

Edited by Ralf Jung

Merge request reports