Artifact 0928110c8d2083dff35bd99cf7be0cdfb9952a0ae8dd385de9178d3d109856bc:

• File doc/info.n
  • 2020-08-04 20:51:06 — part of check-in [00287e4b39] on branch core-8-branch — Merge 8.6 (user: jan.nijtmans size: 29289)
  • 2020-08-04 20:51:06 — part of check-in [00287e4b39] on branch core-8-branch — Merge 8.6 (user: jan.nijtmans size: 29289)