Skip to content

Conversation

@aeschli
Copy link
Contributor

@aeschli aeschli commented Dec 19, 2022

Fixes #166446

Blocked by #169552

@aeschli aeschli self-assigned this Dec 19, 2022
@aeschli aeschli marked this pull request as draft December 19, 2022 16:20
@aeschli aeschli marked this pull request as ready for review December 19, 2022 16:43
@aeschli aeschli added this to the January 2023 milestone Dec 19, 2022
@aeschli aeschli added the languages-basic Basic language support issues label Dec 19, 2022
@aeschli aeschli merged commit 3eff212 into main Dec 20, 2022
@aeschli aeschli deleted the aeschli/166446 branch December 20, 2022 09:09
@jrieken jrieken added the verified Verification succeeded label Jan 25, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Feb 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

languages-basic Basic language support issues verified Verification succeeded

Projects

None yet

Development

Successfully merging this pull request may close these issues.

offside languages: changing ignoreTrimWhitespace default to false

4 participants