>>>>> "Didier" == Didier 'OdyX' Raboud <[email protected]> writes:
Didier> Le lundi, 17 août 2015, 14.57:18 j'ai écrit :
>> Ian wrote a full GR proposal in
>> <[email protected]> (
>> [636783_supermajority/propose-numberfix] in our git repository
>> and I've attached it to this mail) which addresses this.
Didier> I realize that lifting the GR hammer to fix this tiny
Didier> editorial change is not really the best use of our
Didier> collective time.
It really doesn't take much.
It seems entirely reasonable for us to just recommend the GR. We could
do it in a couple of weeks with very little effort.
