signcontrol.py 1.3.1

2009-12-20
Full changes and diff from previous release

• Compliance with RFC 5322 (Internet Message Format): use -0000 instead of +0000 to indicate a time zone at Universal Time (-0000 means that the time is generated on a system that may be in a local time zone other than Universal Time); also remove the Sender header field.

• When a line in the body of a control article started with Sender, a bug in signcontrol.py prevented the article from being properly signed.