ESP32 DHCP IP-Hostname official Bugfix 1.0.5-rc7

Hi, can I update it manually? or use it like

arduino_version: [email protected]



guys no one knows how to do it ?