Thank you
On Fri, 6 Sep 2019, 2:11 pm Gyan, wrote:
>
>
> On 06-09-2019 01:23 PM, Gyan wrote:
> >
> >
> > On 06-09-2019 08:28 AM, Sourabh Sharma wrote:
> >> ---
> >> doc/filters.texi | 2 +-
> >> 1 file changed, 1 insertion(+), 1 deletion(-)
> >>
> >> diff --git a/doc/filters.texi
On 06-09-2019 01:23 PM, Gyan wrote:
On 06-09-2019 08:28 AM, Sourabh Sharma wrote:
---
doc/filters.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/filters.texi b/doc/filters.texi
index 6c81e1da40..70ea16954f 100644
--- a/doc/filters.texi
+++ b/doc/filters.texi
On 06-09-2019 08:28 AM, Sourabh Sharma wrote:
---
doc/filters.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/filters.texi b/doc/filters.texi
index 6c81e1da40..70ea16954f 100644
--- a/doc/filters.texi
+++ b/doc/filters.texi
@@ -9538,7 +9538,7 @@ The filter