[PATCH] RTEMS Docs: Fix search field

Amar Takhar amar at rtems.org
Sun Feb 23 05:54:32 UTC 2020


Hi Niteesh, I updated it and created a patch for this here:

  https://devel.rtems.org/ticket/3880/

It does fix the issue once it's approved I will push the changes.  Thank you for 
highlighting this issue!


Amar.


More information about the devel mailing list