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 :-(.
