On Mon, 21 Oct 2019 14:30:50 +0200
David Sterba <[email protected]> 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

Reply via email to