On 12/03/18 00:03, Rostislav Pehlivanov wrote:
> On 11 March 2018 at 22:41, Mark Thompson wrote:
>
>> ---
>> doc/indevs.texi | 8
>> 1 file changed, 8 insertions(+)
>>
>> diff --git a/doc/indevs.texi b/doc/indevs.texi
>> index 6951940a93..02d1cb3d86 100644
>> ---
On 11 March 2018 at 22:41, Mark Thompson wrote:
> ---
> doc/indevs.texi | 8
> 1 file changed, 8 insertions(+)
>
> diff --git a/doc/indevs.texi b/doc/indevs.texi
> index 6951940a93..02d1cb3d86 100644
> --- a/doc/indevs.texi
> +++ b/doc/indevs.texi
> @@ -462,6 +462,14 @@