Improve preservation of doc comments after type translation#57389
Open
huntie wants to merge 1 commit into
Open
Improve preservation of doc comments after type translation#57389huntie wants to merge 1 commit into
huntie wants to merge 1 commit into
Commits
Commits on Jun 30, 2026
- authored andcommitted