Skip to content

Rename sourceFileReference#1083

Merged
Ducasse merged 6 commits into
pillar-markup:devfrom
AntoineUsal:MicResult
May 19, 2026
Merged

Rename sourceFileReference#1083
Ducasse merged 6 commits into
pillar-markup:devfrom
AntoineUsal:MicResult

Conversation

@AntoineUsal
Copy link
Copy Markdown
Collaborator

Fix #1081
i got a lot of problems with obsolete classes when i change the name, i think it's actually all good

@AntoineUsal
Copy link
Copy Markdown
Collaborator Author

i do a mistake for the 2 last commit, i don't create an other branch for another issue

@Ducasse Ducasse merged commit 80389b5 into pillar-markup:dev May 19, 2026
0 of 4 checks passed
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.

MicUseofWrongVocabulary and micResult

2 participants