Commit 443d2c2
committed
minor #12272 ignore false positives in master branch from DOCtor-RST (OskarStark)
This PR was merged into the master branch.
Discussion
----------
ignore false positives in master branch from DOCtor-RST
Now the `master` branch should be green
Commits
-------
119fe75 ignore false positives in master branch from DOCtor-RST1 file changed
+2
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
77 | 77 | | |
78 | 78 | | |
79 | 79 | | |
| 80 | + | |
| 81 | + | |
80 | 82 | | |
81 | 83 | | |
82 | 84 | | |
0 commit comments