>> remangle32to64.pl # Committed in Jan 2011, seems relevant to w64 porting. > That one should be ketp, unless Tor says otherwise... The dev-tools repo might be a better place for it. Feel free to remove/add it. --tml