Open tpadioleau opened 2 weeks ago
Most of the changes are making things slightly worse. We probably should gather more documentation on how to deal with
#include
before committing to a choice.
Well a choice was made when we started the project. Of course we can change it if there is a better choice. Here is my understanding of the choice (note that I may have again misunderstood this choice):
Back to draft the time we get consensus