On Sat, Apr 01, 2023 at 12:30:25PM +0200, ???? ??????? wrote: > Hello, > > please find some spelling fixes. > also folders ./doc/design-thoughts,./doc/internals are excluded from > further checks.
And merged as well. You're right, internal docs do not need to be spell-checked, they're quick notes looking like telegrams taken during meeting and only stored so that they're not lost. They can safely be avoided. Thanks! Willy
