I think we should merge the pull requests in this order to avoid too many merge conflicts - [x] #817 - [x] #843 - [x] #747 - [x] #782 - [ ] #926 - [ ] #805 - [x] #795 - [ ] #787 - [ ] #799
I think we should merge the pull requests in this order to avoid too many merge conflicts