Thanks for the review! It should be OK. There were some merge conflicts, which is why there might be some small additional stuff, but nothing serious.
I have pushed a commit to address your comments.
« Back to merge proposal
Thanks for the review! It should be OK. There were some merge conflicts, which is why there might be some small additional stuff, but nothing serious.
I have pushed a commit to address your comments.