> In several places, but not all, you replaced the text
>
> Default 1.0.
>
> with the text
>
> defa...@tie{}1.0.
>
> I understand that the @tie{} is there to prevent the 1.0 from being wrapped
> onto a line by itself.
>
> Is there a reason that you didn't do it on all of them, or was it just
Werner,
I was reviewing your documentation improvements patch 3e7adc...
In several places, but not all, you replaced the text
Default 1.0.
with the text
defa...@tie{}1.0.
I understand that the @tie{} is there to prevent the 1.0 from being wrapped
onto a line by itself.
Is there a reason
