On 7/8/20 5:27 pm, Sebastian Huber wrote: > On 07/08/2020 08:44, Chris Johns wrote: > >> On 7/8/20 4:38 pm, Sebastian Huber wrote: >>> On 07/08/2020 08:20, Chris Johns wrote: >>> >>>> --8<--- >>>> >>>>> - color: #11111111; >>>> --8<--- >>>> >>>> Please remove only this line and lets see what happens. >>> This change seems to fix the issue: >> Could you please push this? > I pushed it and it looks good now on docs.rtems.org.
Yeah it does. Thanks for the push. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
