https://github.com/facebook/mysql-5.6/commit/49f77bdhttps://github.com/facebook/mysql-5.6/commit/2306b6ehttps://github.com/facebook/mysql-5.6/commit/eaa782f
Add option to mysqlbinlog to print encountered gtids on exit. Handle print-gtids along with skip-gtids in mysqlbinlog. Change the format of output when using opt_print_gtids.
Unused option
https://github.com/facebook/mysql-5.6/commit/49f77bd
https://github.com/facebook/mysql-5.6/commit/2306b6e
https://github.com/facebook/mysql-5.6/commit/eaa782f