> * Massimiliano Maini <address@hidden> [070822
12:53]:
> > Hi all,
> >
> > GnuBG Win, code source 20070731, GUI version: start a match/session,
enter
> > edit mode
> > and alter the names of both players. Exit edit mode, just one
name is
> > updated (leftmost).
>
> Confirmed on a linux system. Can you put it on
> https://savannah.gnu.org/bugs/?group=gnubg ?