Re: broken doc build (orchestra.ly)

[Werner LEMBERG]

> At any rate, Werner had pushed a spelling correction commit that
> ended up staying in staging for a looooong time (days I think) but
> then got passed to master pretty fast once _another_ commit was
> pushed on top of it.

I hope it is OK to push such minor tweaks without creating an issue.
Otherwise it would increase the necessary time to apply such fixes by
a factor of 10 at least...


    Werner