11 May
2023
11 May
'23
07:42
On Wed, May 10, 2023 at 11:43:28AM +0200, Eric Schirra wrote:
Not me, but upstream! Tumbleweed already has 8.2
I did not intent to accuse anyone, just state that I am stepping back as it seems that 8.1 can still be the Tumbleweed's php. I also experimented with multiversion (home:pgajdos/php), but I was discouraged from that. Petr -- Have a lot of fun..