This repository has been archived on 2024-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

zeripath d0ea10b21f Close the gitrepo when deleting the repository (#15876) ... Signed-off-by: Andrew Thornton <art27@cantab.net>		2021-05-14 21:19:38 +01:00
..
v1	Close the gitrepo when deleting the repository (#15876)	2021-05-14 21:19:38 +01:00