Jamie:
I can also confirm that those packages do fix the problem for us.
I've added your proposed precise package 6b30-1.13.1-1ubuntu2~0.12.04.3 0 to two of our servers which were crashing with the original 1.13.1 packages frequently (twice a day).
Both servers have been running now around 25hour without any problems.
Jamie:
I can also confirm that those packages do fix the problem for us.
I've added your proposed precise package 6b30-1. 13.1-1ubuntu2~ 0.12.04. 3 0 to two of our servers which were crashing with the original 1.13.1 packages frequently (twice a day).
Both servers have been running now around 25hour without any problems.