[ros-diffs] Integrated change by chorns in revision 12463

Remove unlabeled-1.3.1 branch.
Deleted: branches/unlabeled-1.3.1/