Update sphinx_rtd_theme to 68a19ca / 0.4.3.dev0.

Amar Takhar amar at rtems.org
Wed Feb 26 04:28:26 UTC 2020


On 2020-02-26 15:27 +1100, Chris Johns wrote:
> 
> Great, I am OK with the patch being pused. If it breaks on sync it will show in
> the build not updating and I am sure we can sort it out.

Okay great I'll do that now then thank you!


Amar.


More information about the devel mailing list