[packman] Problem with gstreamer-plugins-bad-codecs-32-bit

[Bjørn Lie]

fr., feb. 4 2022 at kl. 19.40 +0100 +0100 skrev Stefan Seyfried 
<stefan.seyfried at googlemail.com> følgende:
> 
> RESOLVED_FIXED ;-)
> --
> Stefan Seyfried
> 

Thanks!
Now we just wait for the builds to finish and mirrors to sync :-)

/B