On 16/01/19 11:58, Thomas Huth 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")?
I think they should be merged, yes. It doesn't have to be done immediately though. Paolo
