projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7c7a5c) | patch
avoid needing StarIsType extension
authorJoey Hess <joeyh@joeyh.name>
Tue, 28 Jun 2022 19:17:41 +0000 (15:17 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 28 Jun 2022 19:17:41 +0000 (15:17 -0400)
commit4174ee33a4f5f26169ec27b1dc8ffb199ce1a08a
tree0f2b77bfadcc96ec9c290132875b2346d02b1903tree | snapshot
parentf7c7a5ca7ede7c7def2c8b90b4d0169aebbaa374commit | diff
avoid needing StarIsType extension

Got a deprecation warning suggesting this change. Data.Kind
is available since base-4.9.0.0 and git-annex depends on a newer base.
Assistant/WebApp/Configurators/Local.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.