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>
Tue, 21 Oct 2014 00:07:37 +0000 (20:07 -0400)
commit12f40c9cfad07ba45336019f780a92c4b0921828
tree514c0d6753d788d493ba8dd677dbb74e577a466e
parent4c1350183f698f3501bede90eda034c05424b9f2
Point to the new issue tracker
docs/header.html