In reply to Piet.

+1 for this. It's useful to know not only what was changed, but when. In fact, some plugin developers use the date in YYMMDD format as the version number, which I think is very efficient.