On Thu, 19 Mar 2020, Andriy Gelman wrote:
From: Andriy Gelman
Signed-off-by: Andriy Gelman
---
doc/general.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/general.texi b/doc/general.texi
index 14878f4dcf3..752618a00b4 100644
--- a/doc/general.texi
+++ b/doc/gener
LGTM
On 3/19/20, Andriy Gelman wrote:
> From: Andriy Gelman
>
> Signed-off-by: Andriy Gelman
> ---
> doc/general.texi | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/doc/general.texi b/doc/general.texi
> index 14878f4dcf3..752618a00b4 100644
> --- a/doc/general.texi
>