On 5/8/19 11:01 pm, Sebastian Huber wrote: > Hello, > > in the user manual you find this hint: > > "The ``#rtems`` channel is logged. You can find the logs at: > > http://www.rtems.org/irclogs/ >
This was added on the understanding the logs would be made available. It has not happened. > You can search the logs using Google by adding: > > **site:rtems.org inurl:irclogs** > > to your search terms." > > I encountered two problems: > > 1. The page > > http://www.rtems.org/irclogs/ > > does not exists. > > 2. The Google search doesn't work. > This ticket covers the topic ... https://devel.rtems.org/ticket/2200 I understand the logs are somewhere on the servers however the irc website has not been set up. I suggest you ping the ticket. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
