Matthew Flatt wrote at 04/22/2013 06:32 PM: > I've pushed a repair. Will the repair be in 5.3.4? Neil V.