config.md: advertise diffedit3 as an alternative to meld-3 diff editor
#6870
The logs for this run have expired and are no longer available.
Loading