tree 81196b753045fa16c13a4c1106031c1f28d9d233
parent 13c4e8f4ef687f650aa76fb15ab12762d5a85602
parent 740475d5f45b8caa2c3c6fc51e657ecf4f3547e5
author Nicolas Geoffray <ngeoffray@google.com> 1411988374 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1411988374 +0000

Merge "Fix a bug in the insertion of parallel move."