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