Use parameters from a new section 'logging' with three configuration parameters:
[gnucomo.git] / NEWS