Am 16.07.2019 um 11:41 schrieb 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? > https://access.redhat.com/support/policy/updates/rhscl -- LF