On 2022-Feb-17, Andres Freund wrote: > Now also pinged: > - guaibasaurus
Fixed now (apt install python3-dev), but I had initially added PYTHON=>python3 to the .conf, unsuccessfully because I failed to install the dev pkg. After the first success I removed that line. It should still work if we do test python3 first, but if it does fail, then I'll put that line back. Thanks -- Álvaro Herrera Valdivia, Chile — https://www.EnterpriseDB.com/ "The problem with the future is that it keeps turning into the present" (Hobbes)
