In article <0347cecd-a275-4022-9efb-928fcfabf0d5 / 79g2000hsk.googlegroups.com>,
  "schreiber.arthur / googlemail.com" <schreiber.arthur / googlemail.com> writes:

> That problem seems to only exist in 1.8.6, r16659 seems to have been
> merged into 1.8.7 already.

You are right.  r16659 is for 1.8.6.
-- 
Tanaka Akira