This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch users/palves/cli-options-v1 in repository binutils-gdb.
at 870bf45fe4 NEWS and manual changes for command options changes
No new revisions were added by this update.