"Andrey G. Grozin" <A.G.Grozin@...> writes:
> Is there an sbcl bugzilla somewhere so that I could file a bug about
> texinfo documentation?
I think I've already fixed this in
eca54df9cd4917ddf1edf485d6beed0e2fad681f. The bug tracker we use, as
documented in the BUGS file, is at launchpad at
<https://bugs.launchpad.net/sbcl>; the bug in question was
<https://bugs.launchpad.net/sbcl/+bug/1189146>. Please check whether
the git HEAD works for you; if not, please report the failure, either
here or directly at launchpad.