On 2015-12-12 20:49:52 +0900, Michael Paquier wrote:> Should we consider this bug a 9.5 blocker?
I don't think so. But either way, I'm right now working on getting itfixed anyway.