No, that user didn't you your pet.
If you have not died or lost the pet then its likely that an small bug is still occurring where the pet is not being dropped to users with full inventory still, but it's not an issue.
I will sort the pet out for you and place it on your account next time I'm on.
