mirror of
https://github.com/nestriness/nestri.git
synced 2026-11-03 22:22:39 +02:00
Dev still said host agent 0.2.13 and desktop 0.1.0, while prod serves 0.2.16 and 0.1.2. The next dev→prod merge would have sent new installs back three host releases. This brings dev to prod's numbers. No other change: the rest of this branch is already on dev.