This is on a new 1.39 install. Paypal IPN is set to:
Address Override = 1
Shipping Address Requirements = 1
So the customer cannot change his address at Paypal, and is not asked to change it.
On the customer's Account History list, these transactions read:
**** ADDRESS OVERRIDE ALERT!!! **** CHECK PAYPAL ORDER DETAILS FOR ACTUAL ADDRESS SELECTED BY CUSTOMER!!
I don't think the customer should see this alert, and it is not needed, since the customer can't change his address at PayPal.
Bookmarks