Merge pull request #3500 from MartijnKaijser/november
authorMartijn Kaijser <machine.sanctum@gmail.com>
Thu, 31 Oct 2013 20:52:22 +0000 (13:52 -0700)
committerMartijn Kaijser <machine.sanctum@gmail.com>
Thu, 31 Oct 2013 20:52:22 +0000 (13:52 -0700)
[release] version bump to 13.0 alpha10 as we start new merge window

1  2 
configure.in

diff --cc configure.in
Simple merge