>>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes: Pedro> Especially since I'd like to flip to async on by default :-) Pedro> (needs fixing some regressions compared to sync mode first Pedro> though). That sounds great. Tom