Still reproducible on an updated system, for which "uname -r" gives 3.0.0-14. I'm not sure whether this is "3.0.0-14.23".
Still reproducible on an updated system, for which "uname -r" gives 3.0.0-14. I'm not sure whether this is "3.0.0-14.23".