Update distinfo, with deleting patch-aa 1.2 on 2013/07/06.