mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-15 04:16:57 +08:00
e21c413ec9
The new content is based on the wiki page: https://devel.rtems.org/wiki/Developer/Bug_Reporting The goal is to remove the wiki page and direct the "New ticket" page to this user manual section. Some content of the wiki page should move to the "Contributing" sections since it is not directly related to bug reporting, e.g. managing existing bugs.