On 19/6/19 9:17 pm, Sebastian Huber wrote:
> + url =
> {https://ftp.rtems.org/pub/rtems/people/joel/RTEID-ORKID/RTEID-2.1/RTEID-2_1.pdf}Should these be moved to https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID? Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
