You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #7038 Remove a dead link to the old PR header (dunglas)
This PR was submitted for the 2.3 branch but it was merged into the 2.7 branch instead (closes#7038).
Discussion
----------
Remove a dead link to the old PR header
Commits
-------
0ffebaf Remove a dead link to the PR header
0 commit comments