On 9/11/21 3:33 AM, Ani Sinha wrote:
> On Sat, Sep 11, 2021 at 1:03 AM Philippe Mathieu-Daudé
> <email@example.com <mailto:firstname.lastname@example.org>> 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.
Will have to experiment with this
Maybe we could also add a spellchecker to checkpatch?