[AT] Does anyone know how to block spam in Gmail

[Mike M]

So my main email is a Gmail address, with Thunderbird used as a client.
I keep getting junk mail from an AOL.com account. I've tried blocking
it, but had no success. Does anyone know how to block an address at the
server level. I use my gmx.com account strictly for ATIS. Thanks for any
help.

Regards,
Mike M

--
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus