Hi,
I unfortunately copied the wrong message id into a bunch of commit
messages, and just noticed now. Messages pointing to this message's
parent via:
Discussion: https://postgr.es/m/20181105210039.hh4vvi4vwoq5ba2q@alap3.anarazel.de
ought to have been
Discussion: https://postgr.es/m/20180220224318.gw4oe5jadhpmcdnm@alap3.anarazel.de
Greetings,
Andres Freund