Pushed now to all branches. Thanks much!
--
Álvaro Herrera Valdivia, Chile — https://www.EnterpriseDB.com/
"The important things in the world are problems with society that we don't
understand at all. The machines will become more complicated but they won't
be more complicated than the societies that run them." (Freeman Dyson)