Tags 2.12 and 2.13 refer to the same commit

[frankplow]

Both the v2.12 and v2.13 tags/releases refer to commit a72b395. The v.2.13 and v.2.12 tags refer to different commits then their counterpart in the different format. Not really a major problem for me, but I noticed this and thought I would bring it to your attention if you were not already aware.