Remy Maucherat
committed
on 10 Oct 13
Port patch and improve my flush trick (don't know if it is correct yet).