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)
commit3d6d03c5c1a9b905942b64ac71cd3eb6be627bda
tree11342fb5916a9acee5111b0f8d1e1d46df44605f
parent26b92f47da37da5f3eb9c435b76b2e8dbbaaf54e
parent345ca4d85e937455013dcd1f2f91a5df1eb5e56a
Merge pull request #3500 from MartijnKaijser/november

[release] version bump to 13.0 alpha10 as we start new merge window
configure.in