Add Antonio to maintainer list

He was elected Sep 30, 2023 and we missed to add him to the list.

Change-Id: Iaabd29ff92f8a5a1745187183797a7a593e2f8cb
1 file changed