Added mint.get_properties()