Point to the new issue tracker
authorDan Vanderkam <danvdk@gmail.com>
Tue, 21 Oct 2014 00:07:37 +0000 (20:07 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Wed, 22 Oct 2014 02:31:07 +0000 (22:31 -0400)
commit8a397b1780fa5667b67acadd2caa8d0c9098fc23
tree2be06c6de4e94598ce1138ff39a3be3dfe91334e
parentad03bf36da1549e33d0908d132c84cbb411598f5
Point to the new issue tracker
docs/header.html