[Improvement] Updated package dependencies #18

Merged
javier merged 2 commits from improvement/dependencies into main 2023-07-22 20:39:28 +00:00
Owner

This PR contains the work done to update the package dependencies to their latest version. In addition, the Xcode and the Web documentation has been re-generated.

This PR contains the work done to update the package dependencies to their latest version. In addition, the Xcode and the Web documentation has been re-generated.
javier added this to the Post-release maintenance milestone 2023-07-22 20:39:11 +00:00
javier self-assigned this 2023-07-22 20:39:11 +00:00
javier added 2 commits 2023-07-22 20:39:12 +00:00
javier merged commit d0a4b73b59 into main 2023-07-22 20:39:28 +00:00
javier deleted branch improvement/dependencies 2023-07-22 20:39:28 +00:00
Sign in to join this conversation.
No description provided.