We should pull here to update local branch pointers.
authorDirkjan Ochtman <dirkjan@ochtman.nl>
Tue, 30 Jul 2013 15:33:50 +0000 (17:33 +0200)
committerDirkjan Ochtman <dirkjan@ochtman.nl>
Tue, 30 Jul 2013 15:33:50 +0000 (17:33 +0200)
commita41b2f1e4b9d794800c973af70eb5c0330e99db6
tree28517971f8cf7ce1eb8920fc8ca90bf9659230d2
parent7ad4e6528936e2690c1be9c5bf044db234b26068
We should pull here to update local branch pointers.
release/check_docs.sh