dybr

 Not much happening. Merged one pr with the tests updates (that's a preparatory job).

Maintaining the "95-file PR", making it align with what's in master; but it seems like github does not get it, and I'll have to prepare a new pr, with the same files. THe thing is, github does not see proper latest master updates, and compares god knows what with god knows what.

Anyway, no big deal.

Also, started working on our play library (a reasonable adapter for that crazy library). We will see.

Karen asked for a link to that 95-file PR. Big deal, you know the project, just find all prs and/or branches. Sent her the link.

That's it for today. Ok, meetings, meetings. Discussions.