I certainly hope it was intended to be sarcastic, but—sans an explicit callout—it can be very difficult to tell if someone meant a comment to be such.