[16:11] @alan-griffiths a whole thing that slipped my mind is my ongoing fight with symbols and the discussion about breaking the mircore and/or miral ABI. Should we make a time to talk about that tomorrow? [16:12] s/@alan-griffiths/alan_g:/ [16:14] Sure. Want to stick the same time in my calendar? [16:14] Sounds good [16:16] Basically the situation is, mircore ABI seems to be broken accidentally so (my understanding is) we want to formally break it. Geometry values are very messy for ABI reasons, so I want to clean that up. But that (seemingly) requires also breaking MirAL ABI. It also seems to me that there's no cost to breaking MirAL ABI if we're breaking mircore ABI, so might as well do that and clean up some MirAL stuff in the process. [16:22] Yes, we need mircore to have a different soname because we lost some (internal debug) symbols that Mir 1.x uses and that causes a conflict. [16:25] I'm not sure how much time we want to spend cleaning stuff up and the scope of that seemingly keeps expanding. While we thought it was mircore that seemed reasonable. Time spent reworking miral might be better spent elsewhere