commit 842ea7a0ece4c6e9dd24d1c5d959053d288d7557
author Gary Roumanis <groumanis@gmail.com> Fri Jan 31 17:22:19 2020 -0800
committer GitHub <noreply@github.com> Fri Jan 31 17:22:19 2020 -0800
tree 4f20e30f91b75ccecb6cdb306631f462ea0f7893
parent cac42ab57b09417d0b385be3cf7f78cfa901ff92

prep to publish (#285)

CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
index ae7a976..99cd2a7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,4 @@
-## 0.13.5-dev
+## 0.13.5 - 2020-01-30
 
 * Update `parseChromeCoverage` to merge coverage information for a given line.
 * Handle source map parse errors in `parseChromeCoverage`. Coverage will not be

pubspec.yaml

diff --git a/pubspec.yaml b/pubspec.yaml
index 1dce957..88be6f0 100644
--- a/pubspec.yaml
+++ b/pubspec.yaml
@@ -1,5 +1,5 @@
 name: coverage
-version: 0.13.5-dev
+version: 0.13.5
 description: Coverage data manipulation and formatting
 homepage: https://github.com/dart-lang/coverage