So, we tried that change and it no longer sorts correctly. I did not look into what the problem was.
I have dropped that additional commit and force pushed over the previous branch. I am readding the pullrequest tag.
If someone else wants to tackle it, feel free.
So, we tried that change and it no longer sorts correctly. I did not look into what the problem was.
I have dropped that additional commit and force pushed over the previous branch. I am readding the pullrequest tag.
If someone else wants to tackle it, feel free.