On 1/3/19 9:19 pm, Sebastian Huber wrote: > On 01/03/2019 02:10, Chris Johns wrote: >> What happens if you do not have doxygen 1.8.14? Our server, sync.rtems.org, is >> on 1.8.13. > > I updated the patch to use 1.8.15 and tested 1.8.13 and 1.8.14. I don't find any > issues. Thank you. Chris