On Sun Nov 25 13:37:30 2012, sprout wrote: > I haven’t merged it yet, but I intend to shortly. It has been merged as cd298ce42. -- Father Chrysostomos