rticommunity / rticonnextdds-connector

RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Javascript (Node.js), Python, and Lua.
Other
56 stars 33 forks source link

[7.3.0.2] Merge connector release to develop (REL-2391) #115

Closed alvinkrebs closed 1 month ago

alvinkrebs commented 1 month ago

Merge release/connector/1.3.1 to develop.

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.

Alxe commented 1 month ago

This PR does not have a purpose. develop will eventually change its own Connext version.