diff --git a/texinfo b/texinfo index c926839..d2ac3b3 160000 --- a/texinfo +++ b/texinfo @@ -1 +1 @@ -Subproject commit c926839a40082d9f2fe1e66a42ae204220618284 +Subproject commit d2ac3b3cc3a7469c2f74a68993c1fa9258b7c915