minor: update link to web site to avoid redirection#1170

Merged

hcoles merged 1 commit intohcoles:masterfrom romani:minor-rename-url

Mar 19, 2023

+14-14

Commits on Mar 19, 2023

minor: update link to web site to avoid redirection
romani
committed