On the other hand, I just noticed that when I upgraded from Rawhide
yesterday, my Flash player was also upgraded from the Adobe repo. So it's
possible that the Flash player upgrade, rather than the Rawhide upgrade, is
what fixed the issue.
I suppose it's not really worth worrying about which of them fixed it, since
it's fixed ;-).
jik
Show replies by date