Skip to content

Conversation

@mhanberg
Copy link
Collaborator

@mhanberg mhanberg commented Jul 3, 2025

This was causing an unnecessary headache with the way the expert namespacing works,
so it is easier to change than to fix the namespacing.

@mhanberg mhanberg force-pushed the change-schematic-function branch 4 times, most recently from 7b613f4 to 18f3a07 Compare July 3, 2025 02:28
This was causing an unnecessary headache with the way the lexical
namespacer works, so easier to change than to fix the namespacer.
@mhanberg mhanberg force-pushed the change-schematic-function branch from 18f3a07 to 2089319 Compare July 3, 2025 02:36
@mhanberg mhanberg merged commit a9fa987 into main Jul 3, 2025
8 checks passed
@mhanberg mhanberg deleted the change-schematic-function branch July 3, 2025 02:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants