Merge pull request #169 from mimi1vx/patch-1

Allow  X11-1.9
This commit is contained in:
Peter Simons 2018-07-30 09:43:07 +02:00 committed by GitHub
commit 61f00e65f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -80,7 +80,7 @@ library
process, process,
unix, unix,
utf8-string >= 0.3 && < 1.1, utf8-string >= 0.3 && < 1.1,
X11>=1.8 && < 1.9, X11>=1.8 && < 1.10,
semigroups semigroups
if true if true