>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at bootlin.com> writes: > From: Romain Naour <romain.naour at gmail.com> > https://sourceware.org/ml/gdb-announce/2018/msg00001.html Is is really 'add version 8.1' instead of 'bump'. Committed with that changed, thanks. -- Bye, Peter Korsgaard