#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
_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs
