[sanlock] branch rindex-4 deleted (was 1414d53)
This is an automated email from the git hooks/post-receive script.
teigland pushed a change to branch rindex-4
in repository sanlock.
was 1414d53 sanlock: add resource index
This change permanently discards the following revisions:
discards 1414d53 sanlock: add resource index
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.