On 9/11/21 3:33 AM, Ani Sinha wrote: > On Sat, Sep 11, 2021 at 1:03 AM Philippe Mathieu-Daudé > <[email protected] <mailto:[email protected]>> wrote: > > On 9/10/21 8:54 PM, Volker Rümelin wrote: > >> Fix 'hotplugabble' -> 'hotpluggabble' typo. > > > > I'm convinced that the correct spelling is hotpluggable. Only the > > consonant g is doubled. > > Lol I missed this part, thanks :> > > > Oops my apologies. I also did not notice the double b.
Typoglycemia++
