jgm/pandoc — pull request #434 by michaelt (2012-03-02 04:47:52+00:00)
Title: tilde

This works with Joost's examples; it looks like it just went missing.