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