Merge release/connector/1.3.1 to support/connector/1.3.0.
This is part of three merge requests that will sync master, develop and support.
Following these three merges will be similar merges in repository rticonnextdds-connector-js. But we need this commit hashes first.
Merge release/connector/1.3.1 to support/connector/1.3.0.
This is part of three merge requests that will sync master, develop and support. Following these three merges will be similar merges in repository rticonnextdds-connector-js. But we need this commit hashes first.