Re: RFC: Documenting changes in the CHANGES file

[Ruediger Pluem]

On 6/8/20 10:20 AM, Ruediger Pluem wrote:
> 

>>
> 
> Thanks for all the feedback. I try to work out something more detailed aka 
> patch that we can discuss then.
> 

Done as r1879822. Happy to get some feedback.

Regards

Rüdiger