Thanks to visit codestin.com
Credit goes to github.com

Skip to content

📝 Tweak tip recommending Annotated in docs#9270

Merged
tiangolo merged 1 commit into
masterfrom
tweak-annotated-recommendation
Mar 18, 2023
Merged

📝 Tweak tip recommending Annotated in docs#9270
tiangolo merged 1 commit into
masterfrom
tweak-annotated-recommendation

Conversation

@tiangolo

Copy link
Copy Markdown
Member

📝 Tweak tip recommending Annotated in docs.

As suggested by @nzig in #9268 (comment)

@nzig nzig left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@tiangolo tiangolo enabled auto-merge (squash) March 18, 2023 19:05
@github-actions

Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot temporarily deployed to pull request March 18, 2023 19:07 Inactive
@tiangolo tiangolo merged commit 0bc87ec into master Mar 18, 2023
@tiangolo tiangolo deleted the tweak-annotated-recommendation branch March 18, 2023 19:07
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