tree cb2117dd2d033c1ec940d58a3594c3bc64e5092a
parent 236076543c107a55d822345a23d224f7c633917a
author Dave Borowitz <dborowitz@google.com> 1506945094 +0100
committer Dave Borowitz <dborowitz@google.com> 1506945902 +0100

dev-release.txt: Verify the war version

...which I did not do for 2.15-rc0, so I invariably did it wrong.

Change-Id: I908d1b5445792eb5b311123f792e2539c87737c5