Hi, I realized this still uses php 7.2.10, while 7.2.20 was released almost two weeks ago. How are these packages updated? Who does that? Any idea how to get the update in? Regards Rainer
Tue Jul 16 09:41:16 UTC 2019
rainer at ultra-secure.de <rainer at ultra-secure.de>
Hi, I realized this still uses php 7.2.10, while 7.2.20 was released almost two weeks ago. How are these packages updated? Who does that? Any idea how to get the update in? Regards Rainer