diff options
Diffstat (limited to 'Git')
| -rw-r--r-- | Git/Url.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Git/Url.hs b/Git/Url.hs index 6a893d92f..21b69dc7c 100644 --- a/Git/Url.hs +++ b/Git/Url.hs @@ -45,7 +45,7 @@ port :: Repo -> Maybe Integer port r = case authpart uriPort r of ":" -> Nothing - (':':p) -> readMaybe p + (':':p) -> readish p _ -> Nothing {- Hostname of an URL repo, including any username (ie, "user@host") -} |