[Bug-gnubg] Can't delete Player Records

[Albert Silver]

        I can't seem to delete any records in the Player Records. When I
do, it shows a pop-up saying permission was denied, and then shows the
record missing. This would seem to indicate that despite the pop-up, the
record was removed, however, when exiting and opening GNU again, the
record is back so it definitely was NOT erased.

        
Albert