arbtt.xml: fix duplicate ID in release notes
authorgwern <gwern@gwern.net>
Wed, 3 Sep 2014 19:15:04 +0000 (19:15 +0000)
committergwern <gwern@gwern.net>
Wed, 3 Sep 2014 19:15:04 +0000 (19:15 +0000)
commitc88e83c2cef3eb6333331532f9c5cb3f09a0f9bc
treecedcdb31ee2998707c3687f96a336d883c6fe32b
parent3cbac22334d9fb19ca0af9fc0c73e266b3de6bc0
arbtt.xml: fix duplicate ID in release notes
doc/arbtt.xml