Closed grafikrobot closed 7 months ago
I am not sure whether you want this merged right away or whether you need to wait before you do it -- please merge at your discretion. Thanks!
@ldionne I don't have permission to merge. And, yes, it would be great if it gets merged as soon as possible.
PS. I just noticed I created the PR for master. Can you also apply it to the develop branch?
Everything happens on master
nowadays, develop
isn't used and has gotten behind.
Well that's not supposed to happen, develop should at least be kept in sync, even if unused.
I just synced the branches.
This removes the superfluous test project ID that will conflict with the modular project IDs for all libraries. When libraries are modular they will have the standard global ID of /boost/lib-name. Having colliding IDs will cause build errors.
modular-boost https://github.com/users/grafikrobot/projects/1