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

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

was 52913be sanlock: add resource index

This change permanently discards the following revisions:

discards 52913be sanlock: add resource index