Hmm. That's weird.

I don't see anything wrong with your config, especially if your colleague uses it. I'd suggest:

trying a different smtp host/solution (sendgrid has a free option) opening up a ticket with mailgun

I tend to use a local solution like mailcatcher, since email deliverability is a bit of a dark art.