Update CRASH-pubs.json
Merge pull request #138 from mvonbargen/patch-47

Update CRASH-pubs.json