docs/release.txt: We use Git now.
thread/syncprims-pub-impl.h: Fix bug #298. -- int to pointer cast error on
Xcode 5.1
Merge remote-tracking branch 'origin/1.2.x' into 1.2.x.