Peter Eisentraut <pe...@eisentraut.org> writes: > I think there was general agreement with what this patch is doing, but I > guess it's too boring to actually review the patch in detail. Let's > say, if there are no objections, I'll go ahead and commit it.
I re-read the thread and have two thoughts: * We worried about whether this change would be compatible with a (presently unreleased) version of docbook that contains the upstreamed fix. It seems unlikely that there's a problem, but maybe worth checking? * I gather that the point here is to change some generated anchor tags. Would any of these tags be things people would be likely to have bookmarked? regards, tom lane