ndahlquist/Whaler — pull request #12 by ndahlquist (2014-12-27 02:05:54+00:00)
Title: Closes and deletes PRs during merges, and links between comments and PRs...

....

Closes #11