Promote changes from develop to the master branch#66

Closed

github-actions[bot] wants to merge 5 commits intomasterfrom develop

+4

Commits on Sep 12, 2023

Added 8.7.3

Cristhian Peña
authored and
a-b
committed
Added 7.7.3 (#61 )

ccjaimes
and
a-b
committed
Update GPG key with regenerated (#63 )

committed

Commits on Oct 20, 2023