This is an automated email from the git hooks/post-receive script.

teigland pushed a change to branch rindex-3 in repository sanlock.

was 70b1b70 sanlock: add resource index

This change permanently discards the following revisions:

discards 70b1b70 sanlock: add resource index