fix build after merge

This commit is contained in:
Joey Hess 2021-04-23 13:26:10 -04:00
parent d5a05655b4
commit 5cb05c43c9
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -32,6 +32,7 @@ import Logs.Presence
import Logs.Location
import Utility.Url
import Annex.UUID
import qualified Annex.Branch
import qualified Types.Remote as Remote
{- Gets all urls that a key might be available from. -}