Commit 963dbebc 963dbebcfeba4731d5479c6e18e8fd0b4f4ac0eb by Sergey Poznyakoff

Untabified. Needed for proper conversion to *.texi

1 parent 3a3490ee