On 06.10.23 20:50, Andres Freund wrote:> The only thing I wonder is whether we ought to keep a maintainer-clean > target (as an alias to distclean), so that extensions that added things > to maintainer-clean continue to work.
The patch does do that.