Let extendersOverRests default to ##t
This was effectively unchangingly the case before issue 5053
fixed the respective code. However, the relation to actual
behavior seems so tenuous that it appears more prudent to
reenable this by default and only disable it again (if at all)
once the behavior corresponds better with name and documentation.
Passes make, make check and a full make doc.
Diff:
Patch on countdown for March 13th.
Patch counted down - please push.
Pushed to staging as
commit 172bf982f622911271271d6f07908e95e65f3d10
Author: David Kastrup dak@gnu.org
Date: Tue Mar 7 18:47:30 2017 +0100
Verified commit in git.