Skip to content

no-vary: fix title and intro terminology#3385

Merged
nidhijaju merged 3 commits intomainfrom
reschke-i3384
Jan 30, 2026
Merged

no-vary: fix title and intro terminology#3385
nidhijaju merged 3 commits intomainfrom
reschke-i3384

Conversation

@reschke
Copy link
Contributor

@reschke reschke commented Jan 18, 2026

No description provided.

@reschke reschke requested a review from mnot January 18, 2026 17:49
@nidhijaju nidhijaju linked an issue Jan 18, 2026 that may be closed by this pull request
reschke and others added 2 commits January 28, 2026 14:00
Co-authored-by: Nidhi Jaju <41948741+nidhijaju@users.noreply.github.com>
@reschke reschke requested a review from nidhijaju January 28, 2026 13:09
@nidhijaju nidhijaju merged commit 4b671ad into main Jan 30, 2026
2 checks passed
@nidhijaju nidhijaju deleted the reschke-i3384 branch January 30, 2026 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

no-vary: misleading document title

2 participants