On Mon, 21 Oct 2019 14:30:50 +0200 David Sterba <dsterba@xxxxxxx> wrote: ... > I've merged the patch as-is, thank. The 'ditto' spelling is probably > more widely used in english texts. 'dtto' is in sources and thus not > visible to wide audience so we can live with that. Thank you! -- Merlin Büge
