Re: Junk at the end on history

[Dan Jacobson]

   There probably was.
   Say,  there should be a way to protect the user against something like
   that. I wish I could just tell it to only allow utf-8 in my history.