fixing a but in OpenHands which is in prod and blocking: github.com/OpenHands/OpenHands/pull/15176 See the question here: https://openhands-ai.slack.com/archives/C06U8UTKSAD/p1783498155223859 I would love another pair of 👀 on that 🙂 but it should be straightforward. Should we release another OH version ? I don't know how many users are affected by this.

cc @able-napkin-92802 @dry-book-58714 If I see this right, we haven’t cut a release after this merge. Could we do it?

I think we can cut a release by merging this release please PR github.com/OpenHands/OpenHands/pull/15179

Thanks!