MySQL Bugs: #87401: mysqldump.exe version behind server version

Bug #87401	mysqldump.exe version behind server version
Submitted:	11 Aug 2017 13:41	Modified:	11 Aug 2017 14:15
Reporter:	Grant Crawley	Email Updates:
Status:	Duplicate	Impact on me:	None
Category:	MySQL Server: mysqldump Command-line Client	Severity:	S3 (Non-critical)
Version:	6.3.9	OS:	Windows (Microsoft Windows 10 Pro)
Assigned to:		CPU Architecture:	Any
Tags:	WBBugReporter

Description:
----[For better reports, please attach the log file after submitting. You can find it in C:\Users\grant\AppData\Roaming\MySQL\Workbench\log\wb.log]

mysqldump.exe is version 5.7.17, but the MySQL Server to be dumped has version 5.7.19.
Because the version of mysqldump is older than the server, some features may not be backed up properly.

This error is reported even though mysqldump.exe 5.7.19 is installed as part of server 5.7.19

How to repeat:
Export some database from workbench using the local instance data export function.

Installed versions

server: 5.7.19 x64
workbench: 6.4.9 x64

Suggested fix:
Re-package installer for workbench to include the latest release or ensure that the server 5.7.19 installer updates the workbench binary.

Typo on workbench version, should read

workbench: 6.3.9 x64

Thank you for the bug report. Duplicate of https://bugs.mysql.com/bug.php?id=86992

"mysqldump.exe is version 5.7.17, but the MySQL Server to be dumped has version 5.7.22."

Can I simply replace the mysqldump used by workbench with a higher version? Or it needs a complete re-installation of workbench supporting 5.7.22 (which does not exist yet) ?