Viewing all changes in revision 7051.

Committer: Benno Schulenberg
Date: 2018-03-10 11:43:33 UTC
Revision ID: git-v1:1ebb1da382170db9b2f3d620d05cfb794212cc3a

tweaks: elide a parameter that is always 1

And adjust the comments accordingly.

added added

removed removed