Include CHANGELOG in fix-whitespace and whitespace fixes#2325

jamesmckinna merged 1 commit intomasteragda/agda-stdlib:masterfrom

readme-whitespaceagda/agda-stdlib:readme-whitespaceCopy head branch name to clipboard