tree 8b2a0f0f98cbef38718492b4c6ce75e71c20fa4c
parent f36c6dc42e1a065a24d538c9d742274bf0857a6e
parent a028c7fb186a82691ea6fefff2ec80a5dce942ad
author Matt Godbolt <matt@godbolt.org> 1504042788 -0500
committer GitHub <noreply@github.com> 1504042788 -0500

Merge pull request #501 from mattgodbolt/bug-500

This is a hail mary for #500. Hopefully this avoids getting an editor…