#3098: Add new RTEMS repos to github.
-------------------------+---------------------
Reporter: Chris Johns | Owner: amar@…
Type: infra | Status: new
Priority: highest | Milestone: 5.1
Component: admin | Version: 5
Severity: blocker | Resolution:
Keywords: github | Blocked By:
Blocking: |
-------------------------+---------------------
Comment (by Chris Johns):
Ping?
--
Ticket URL: <http://devel.rtems.org/ticket/3098#comment:4>
RTEMS Project <http://www.rtems.org/>
RTEMS Project
_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs
