Joe Conway <mail(at)joeconway(dot)com> writes:
> Sorry -- missed one line that should have been removed with the last patch.
> Please apply this one in addition to the other. It romoves the EXTRA_CLEAN
> line since it is no longer needed.
Included with prior commit.
regards, tom lane