> so now this revised patch can be merged into ToT? Applied in r153938, thanks! -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University