Guillaume Lelarge <guillaume@lelarge.info> writes:
> While working on the french translation of the manual, I found that one
> column of pg_stats_ext was on the pg_stats columns' list. Here is a quick
> patch to fix this.
Right you are, and after casting a suspicious eye on the responsible
commit, I found another similar error. "patch" with the default
amount of context is not too bright about handling our documentation
tables :-(.
Pushed.
regards, tom lane