Stephen Frost <sfr...@snowman.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
