On 09/23/2013 12:53 PM, Andrew Burgess wrote: > Another place we reimplement print_hex_chars, again I'll commit as obvious in a few days if nobody objects. No objection, looks great. Thanks for doing this. -- Pedro Alves