This commit is contained in:
Joey Hess 2017-05-19 10:57:59 -04:00
parent 9b61806063
commit 174ce991f9
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -155,6 +155,7 @@ hideRegionsWhile a = bracketIO setup cleanup go
a
#else
hideRegionsWhile = id
#endif
#else
hideRegionsWhile = id
#endif