[docedit] more modification regarding discussions

1 job for docedit in 14 minutes and 14 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #178148
docker-build
build_linux_36

00:14:14

65.0%