diff options
author | 2016-05-27 11:15:52 -0400 | |
---|---|---|
committer | 2016-05-27 11:15:52 -0400 | |
commit | e184360d5d2225b50117b0deddb28c0537dfb181 (patch) | |
tree | 18fe93ca3fff1fa802c8b45f12e786602f9d559c /Remote/Git.hs | |
parent | fb8fdec166d5a738e235353d874f6207a94539e7 (diff) |
fix warning
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index 403c91b4f..e0534c2e6 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -284,7 +284,7 @@ tryGitConfigRead autoinit r setremote setter v = case Git.remoteName r of Nothing -> noop - Just n -> setter r v + Just _ -> setter r v handlegcrypt Nothing = return r handlegcrypt (Just _cacheduuid) = do |