Stephen Frost <sfrost(at)snowman(dot)net> writes:> Yes, this is absolutely the right answer, we shouldn't be removing> symbols without an SONAME bump. If we don't want to bump the SONAME,> then don't remove the symbol.
OK, done.
regards, tom lane