Devin Desktop v1.9552.25

Bug Fixes and Improvements — Fix compatibility with GitHub Pull Requests extension

Bug Fixes and Improvements
- Fix compatibility with GitHub Pull Requests extension