Update contributors#2

github-actions[bot] wants to merge 1 commit intomainil-Luca/Catima:mainfrom

create-pull-request/patch-1773553242il-Luca/Catima:create-pull-request/patch-1773553242Copy head branch name to clipboard