Update DEFT-pubs.json
Merge pull request #97 from mvonbargen/patch-10

Update DEFT-pubs.json