Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork5.3k
Commitdb09e71
committed
minor#15889 Fix a wrong doc redirection (javiereguiluz)
This PR was merged into the 4.4 branch.Discussion----------Fix a wrong doc redirectionMinor issue but we need to fix it to make the redirection work. Found while fixing other worse bugs related to redirections.Commits-------6165c5a Fix a wrong doc redirection1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
507 | 507 | | |
508 | 508 | | |
509 | 509 | | |
510 | | - | |
| 510 | + | |
511 | 511 | | |
512 | 512 | | |
513 | 513 | | |
| |||
0 commit comments
Comments
(0)