Skip to content

Conversation

@kbirken
Copy link
Member

@kbirken kbirken commented Dec 3, 2025

This PR reverts some code from PR #1502, as it leads to massive exceptions in a customer project. This is temporary only, the actual change from #1502 has to be revisited to fix it lastingly.

See ticket #1541 for an example of the exception and some explanation.

This is a workaround for #1541, but does not solve it.

@kbirken kbirken requested a review from mhuster23 December 3, 2025 11:30
@kbirken kbirken self-assigned this Dec 3, 2025
@kbirken kbirken added the bug label Dec 3, 2025
@kbirken kbirken merged commit d4f02bf into maintenance/mps20241 Dec 3, 2025
2 checks passed
@kbirken kbirken deleted the bugfix/quick_workaround_numberliteral_editor_exception_1541 branch December 3, 2025 11:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants