Artifact aaf86adc1ad8841e8072de6ab493553facb7f5f7e528d3bbfb00f04f25ee1b00:

• File src/file.c
  • 2020-08-17 18:20:12 — part of check-in [8c16884aa2] on branch sec2020 — Merge in reject-ckout-db branch. (user: stephan size: 71915)
  • 2020-08-17 18:20:12 — part of check-in [8c16884aa2] on branch sec2020 — Merge in reject-ckout-db branch. (user: stephan size: 71915)