Release of draw.io portable 13.0.1-4 is now available.
You can find links to download this release on the draw.io portable page.