Hi Chris, I did not see this bug until now. Have you seen the error message since then?
Otherwise, I am inclined to close the bug. I have not had problems with that part of the test suite in a while. It has been under rapid development. Kind regards Felix Lechner
