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", )