Release 4.1.4
Filter out duplicate commits and cleaning up change log 2
Summary
The title of this PR shoudn't be part of the changelog...
Changes
- Filter out duplicate commits and cleaning up change log (8d8aba8) - @remimikalsen
The title of this PR shoudn't be part of the changelog...