diff options
Diffstat (limited to 'issues/incorrect-pmids.gmi')
| -rw-r--r-- | issues/incorrect-pmids.gmi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/issues/incorrect-pmids.gmi b/issues/incorrect-pmids.gmi index 427fbed..fa06dfd 100644 --- a/issues/incorrect-pmids.gmi +++ b/issues/incorrect-pmids.gmi @@ -2,7 +2,7 @@ * assigned: arthur, bonfacem, pjotrp * priority: high -* status: stalled +* status: closed * keywords: rdf, sql Consider the query: |