On Sun, May 21, 2017 at 06:17:57PM +0200, Benno Schulenberg wrote: > > To reproduce, run 'info/ginfo doc/info-stnd.info node'. > Then type: Alt+/ wed <Enter>. > Then type five times Alt+Shift+}. > Segmentation fault.
Thanks for finding this; I've fixed it.
