16 Jul
2019
16 Jul
'19
11:41 a.m.
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