From 3113a7896e7ba81e45b1712ce9b001a178397df3 Mon Sep 17 00:00:00 2001 From: Sergiusz Bazanski Date: Sat, 10 Nov 2018 12:43:02 +0100 Subject: [PATCH] more accurate comment --- WORKSPACE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/WORKSPACE b/WORKSPACE index 6dcc332..26daafc 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -8,7 +8,7 @@ git_repository( git_repository( name = "subpar", remote = "https://github.com/q3k/subpar", - # Patch: do not always call atexit. + # Patch: allow no_remove commit = "e32f5f71d263858eb099f79a281760f0c3aae4c6", )