On 14/8/19 3:39 pm, Sebastian Huber wrote: > I completed my work with moving the bug reporting information to the user > manual. Please have a look at the changed New Ticket page: > > https://devel.rtems.org/wiki/NewTicket > Why remove the information from the page that guides a user? Chris