> Would it be OK with everybody to request that new options be also > mentioned in NEWS, in addition to new commands? If others agree, I > volunteer to document in NEWS all the options we added since GDB 6.8. Agreed. -- Joel