[RTEMS Project] #2206: RTEMS Github is not up to date.

[RTEMS trac]

#2206: RTEMS Github is not up to date.
-------------------------------+---------------------
 Reporter:  chrisj             |       Owner:  amar
     Type:  infra              |      Status:  closed
 Priority:  highest            |   Milestone:  4.11
Component:  admin              |     Version:  4.11
 Severity:  blocker            |  Resolution:  fixed
 Keywords:  github, migration  |
-------------------------------+---------------------
Changes (by amar):

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


Comment:

 Updating automatically via Buildbot (not public).  It may miss an update
 here or there if the master is not running but soon it will be permanent.

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