[RTEMS Project] #4388: Copy improved mailer.py from rtems-tools

[RTEMS trac]

#4388: Copy improved mailer.py from rtems-tools
-------------------------+-------------------------
 Reporter:  Alex White   |       Owner:  Alex White
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:  6.1
Component:  build        |     Version:  6
 Severity:  normal       |  Resolution:  fixed
 Keywords:               |  Blocked By:
 Blocking:               |
-------------------------+-------------------------
Changes (by Alex White <alex.white@…>):

 * status:  accepted => closed
 * resolution:   => fixed


Comment:

 In [changeset:"4e6dc6431435821a534da6307e72ecbd7e42b82a/rtems-source-
 builder" 4e6dc64/rtems-source-builder]:
 {{{
 #!CommitTicketReference repository="rtems-source-builder"
 revision="4e6dc6431435821a534da6307e72ecbd7e42b82a"
 sb: Merge mailer changes from rtems-tools

 This adds the improved mailer.py script from rtems-tools.

 Closes #4388
 }}}

--
Ticket URL: <http://devel.rtems.org/ticket/4388#comment:2>
RTEMS Project <http://www.rtems.org/>
RTEMS Project