Hi Nick, Nick Dokos <nicholas.do...@hp.com> writes:
> Oh, I agree - the removal is certainly desirable. I meant whether the > non-removal of not-today's date is intentional :-) Thinking about this again, I don't see any reason why we should keep any timestamp in the headline. I pushed a fix for this. Thanks! -- Bastien
