Am Montag, 8. Juni 2020, 16:52:27 MESZ hat Eli Zaretskii <eliz@gnu.org> Folgendes geschrieben: > > Date: Mon, 8 Jun 2020 11:52:17 +0000 (UTC) > > > From: Hannes Domani via Gdb-patches <gdb-patches@sourceware.org> > > > > Ping. > > > This LGTM, thanks. Pushed, thanks. Hannes