On Thu, Jun 20, 2019 at 07:34:10PM -0400, Alvaro Herrera wrote: > This patch was applied as f73293aba4d4. Thanks, Paul and Michael.
Thanks for the thread update, Alvaro. I completely forgot to mention the commit on this thread. -- Michael
signature.asc
Description: PGP signature
