v5.1.25

Reuben Thomas

@rrt

2bda1a37 · Makefile.am: use simpler and more robust scheme of parallel checkout for checking in release code. · Feb 20, 2013

Release tag