Closed Phelimb closed 9 years ago
Sorry, I meant to merge only last commit. Previous commits include changes that I made on Simons dev branch (sorry Simon) for UI but I think they should be in master now anyway.
I don't understand what is happening here
Requesting to merge some changes into master. Shall I just merge?
Yes
Can we close?
This is a pull request so now that it's merged it's effectively closed.
Sorry, I meant to merge only last commit. Previous commits include changes that I made on Simons dev branch (sorry Simon) for UI but I think they should be in master now anyway.