On 11/12/2020 01:35, Chris Johns wrote:
Suggestions?
We could add a script which performs some post processing after creation the of
the release branches.
What about ....
https://www.rtems.org/support/bugs.html
If a redirect can be set up we could insulate these links from the location they
are.
I don't mind changing the link and regenerate the sources, but I think
changing the documentation links is not good in general.
--
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.hu...@embedded-brains.de
PGP : Public key available on request.
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
