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