Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove obsolete comment. Patch #971980 actually is implemented (this …
…is TIP#205, implemented in 8.5).
- Loading branch information