[sanlock] branch rindex-5 deleted (was 52913be)
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
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.