Fix Eduardo entry. Let's try to avoid technicalities in
NEWS entries so that also people that are not familiar with the codebase can understand them. Leave tech details for the git changelog.
This commit is contained in:
parent
213002d3a6
commit
b59dadab62