e878d182e7
Update mongo tools to version 4.2 which is required to manage mongodb version 4.2. PR: 247021 Submitted by: Ronald Klop <ronald-lists@klop.ws> Reviewed by: mfechner Relnotes: https://docs.mongodb.com/manual/release-notes/4.2/