Skip to content

.time is not actually supported, stop claiming it is#1078

Merged
gwynne merged 4 commits intomainfrom
gwynne-patch-1
May 5, 2025
Merged

.time is not actually supported, stop claiming it is#1078
gwynne merged 4 commits intomainfrom
gwynne-patch-1

Conversation

@gwynne
Copy link
Copy Markdown
Member

@gwynne gwynne commented May 5, 2025

Pretty much what it says on the tin. Since the only change is a deletion, no separate translation is needed.

@gwynne gwynne added typo Fixing spelling and grammar mistakes. no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work) labels May 5, 2025
@gwynne gwynne requested a review from 0xTim May 5, 2025 14:21
@gwynne gwynne requested a review from a team as a code owner May 5, 2025 14:21
@gwynne gwynne merged commit 12b0114 into main May 5, 2025
1 check passed
@gwynne gwynne deleted the gwynne-patch-1 branch May 5, 2025 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work) typo Fixing spelling and grammar mistakes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants