New Port: databases/mongodb42-tools
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/