It is possible that this could affect Linux, just not as easily/often. Unfortunately, I can't make out much from the stack trace. Can your coworker run a 5.1 nightly? Or let us know if it happens in 5.1.1. If it does, then we are different.
It is possible that this could affect Linux, just not as easily/often. Unfortunately, I can't make out much from the stack trace. Can your coworker run a 5.1 nightly? Or let us know if it happens in 5.1.1. If it does, then we are different.