Committed [EMAIL PROTECTED] 2005-08-16 17:36:05 GMT Stefan Reichoer <[EMAIL PROTECTED]> patch-15
Summary:
Mention the patch author when applying a patch received via email
Revision:
xtla--dev--1.2--patch-15
tla-log-edit-insert-memorized-log now inserts a "Patch from ..." line,
for the sender of the patch.
That functionality is useful for sending/applying patches via Gnus.
