[RTEMS Project] #3135: Devel mailing list doesn't work and Git push impossible due to disk full

[RTEMS trac]

#3135: Devel mailing list doesn't work and Git push impossible due to disk full
-----------------------------+---------------------
 Reporter:  Sebastian Huber  |       Owner:  amar@…
     Type:  defect           |      Status:  closed
 Priority:  normal           |   Milestone:  4.12.0
Component:  admin            |     Version:  4.12
 Severity:  normal           |  Resolution:  fixed
 Keywords:                   |
-----------------------------+---------------------
Changes (by Amar Takhar):

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


Comment:

 This was fixed some time ago sorry about that.  I am working on setting up
 realtime monitoring and Ansible it's a lot of work.

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