Run this after PR #535 merged. It updates the remaining 6 PRs (#537–#542) so they're current and mergeable against the updated base. Verified against actual git state on 2026-06-25.
- PR #535 merged via merge-commit
9421a816intofeature/issue-529-property-rental-cross-listing(the #536 base branch). The #535 head branch was deleted on merge. - 6 PRs remain, all targeting that base branch:
#537 #538 #539 #540 #541 #542.