On Sun, Nov 06, 2016 at 01:46:30PM +, Derek Buitenhuis wrote:
> Signed-off-by: Derek Buitenhuis
> ---
> As request by Michael.
> ---
> doc/encoders.texi | 8
> 1 file changed, 8 insertions(+)
applied
thx
[...]
--
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B
Signed-off-by: Derek Buitenhuis
---
As request by Michael.
---
doc/encoders.texi | 8
1 file changed, 8 insertions(+)
diff --git a/doc/encoders.texi b/doc/encoders.texi
index 5a60e7e..ba60e0a 100644
--- a/doc/encoders.texi
+++ b/doc/encoders.texi
@@ -1751,6 +1751,10 @@ Exhaustive search