Andres Freund <andres(at)2ndquadrant(dot)com> writes:> 9.3.0 seems to be officially released now, but there's no 9.3.0 tag> yet...
Ooops, forgot to do that over the weekend. Tag pushed now.
regards, tom lane