Skip to content

Adapt to MC#1439#86

Merged
spitters merged 1 commit intoSSProve:mainfrom
Tragicus:mc1439
Jul 1, 2025
Merged

Adapt to MC#1439#86
spitters merged 1 commit intoSSProve:mainfrom
Tragicus:mc1439

Conversation

@Tragicus
Copy link
Contributor

@Tragicus Tragicus commented Jul 1, 2025

There is now a _ / _ notation in group_scope, so when ring_scope is also open we need to say which one we want.

@spitters
Copy link
Contributor

spitters commented Jul 1, 2025

Thanks!

@spitters spitters merged commit 96fab3e into SSProve:main Jul 1, 2025
17 checks passed
@Tragicus Tragicus deleted the mc1439 branch July 1, 2025 13:32
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

Comments