databases/mongodb42: Update to 4.2.12
PR: 253298 Submitted by: Ronald Klop <ronald-lists AT klop DOT ws>