On 2019-01-11 11:38, Paolo Bonzini wrote: [...] > And, I would move it to CODING_STYLE since we are at it. :)
I just got some feedback in IRC already, and seems like I am not alone, so let's discuss it here on the mailing list, too: What's the exact difference between CODING_STYLE and HACKING? Some of the paragraphs in HACKING sound rather mandatory and coding-style related, too... Should we maybe merge the two files into one (e.g. called "CODING")? Thomas
