On 2013-06-18 23:04, David Nadlinger wrote: > This is exactly the point. My point is that he shouldn't have changed the history in the first place. He also shouldn't encourage other people to do that. That's the problem if you just type in some commands and don't know that they actually do. -- /Jacob Carlborg