Sebastien, would you have time to look at this patch today and see whether it's an appropriate fix for 8.04.1?
Sebastien, would you have time to look at this patch today and see whether it's an appropriate fix for 8.04.1?