Skip to content

fix: workaround for Meta.Context.config private#64

Merged
kim-em merged 1 commit intoleanprover-community:bump_to_v4.15.0-rc1from llllvvuu:fix/meta_context_config_privJan 8, 2025

Commits

Commits on Jan 8, 2025