Created attachment 211214 [details]
Delete this port because the only consumer devel/ghub doesn't require it anymore.
A commit references this bug:
Date: Sun Mar 8 18:34:21 UTC 2020
New revision: 528066
devel/graphql.el: mark for deletion before Q2 is cut
- previously this port was a dependency of devel/ghub
Submitted by: Yasuhiro KIMURA <email@example.com> (maintainer)
Instead of straight up deleting it, I gave it some time until 2020-05-31.