Hi Michael, I've pushed a fix for this in the branch. It fixes the case that you mentioned. Please take a look when you get a chance and meanwhile I will keep testing this for every corner case that I can think of.
« Back to merge proposal
Hi Michael, I've pushed a fix for this in the branch. It fixes the case that you mentioned. Please take a look when you get a chance and meanwhile I will keep testing this for every corner case that I can think of.