Skip to content

[mypyc] Document librt.time#21372

Merged
JukkaL merged 1 commit intomasterfrom
librt-time-doc
Apr 29, 2026
Merged

[mypyc] Document librt.time#21372
JukkaL merged 1 commit intomasterfrom
librt-time-doc

Conversation

@JukkaL
Copy link
Copy Markdown
Collaborator

@JukkaL JukkaL commented Apr 29, 2026

It can be used without a feature flag, so document it.

@JukkaL JukkaL merged commit f60d40b into master Apr 29, 2026
2 checks passed
@JukkaL JukkaL deleted the librt-time-doc branch April 29, 2026 14:22
JukkaL added a commit that referenced this pull request Apr 30, 2026
It can be used without a feature flag, so document it.
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