This is a duplicate of  https://bugs.gnu.org/32841 <https://bugs.gnu.org/32841> 
which was fixed in 818b879b2e481943340e86dbb5b93f12021206c5.

The online manual should update when 3.0.11 is released. 

Regards

Reply via email to