On Sat, Jul 18, 2015 at 08:34:02AM -0400, Ganesh Ajjanagadde wrote:
> Signed-off-by: Ganesh Ajjanagadde
> ---
> doc/developer.texi | 4
> 1 file changed, 4 insertions(+)
applied
thanks
[...]
--
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
It is dangerous to be
Signed-off-by: Ganesh Ajjanagadde
---
doc/developer.texi | 4
1 file changed, 4 insertions(+)
diff --git a/doc/developer.texi b/doc/developer.texi
index d9ccf7b..7e9f0b2 100644
--- a/doc/developer.texi
+++ b/doc/developer.texi
@@ -544,6 +544,10 @@ should not crash, end in a (near) infinite