From 0467c346b1a23608001dd66d9fe49f147600baa6 Mon Sep 17 00:00:00 2001
From: Andrey Lushnikov <lushnikov@chromium.org>
Date: Fri, 10 Nov 2017 18:16:20 -0800
Subject: [PATCH] chore: mark version 0.13.0

---
 docs/api.md  | 2 +-
 package.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/api.md b/docs/api.md
index 5b67c6a630d..01fa57e744e 100644
--- a/docs/api.md
+++ b/docs/api.md
@@ -1,6 +1,6 @@
 ##### Released API: [v0.12.0](https://github.com/GoogleChrome/puppeteer/blob/v0.12.0/docs/api.md) | [v0.11.0](https://github.com/GoogleChrome/puppeteer/blob/v0.11.0/docs/api.md) | [v0.10.2](https://github.com/GoogleChrome/puppeteer/blob/v0.10.2/docs/api.md) | [v0.10.1](https://github.com/GoogleChrome/puppeteer/blob/v0.10.1/docs/api.md) | [v0.10.0](https://github.com/GoogleChrome/puppeteer/blob/v0.10.0/docs/api.md) | [v0.9.0](https://github.com/GoogleChrome/puppeteer/blob/v0.9.0/docs/api.md)
 
-# Puppeteer API v<!-- GEN:version -->0.13.0-alpha<!-- GEN:stop-->
+# Puppeteer API v<!-- GEN:version -->0.13.0<!-- GEN:stop-->
 
 ##### Table of Contents
 
diff --git a/package.json b/package.json
index 11684a30cf0..62a46936296 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "puppeteer",
-  "version": "0.13.0-alpha",
+  "version": "0.13.0",
   "description": "A high-level API to control headless Chrome over the DevTools Protocol",
   "main": "index.js",
   "repository": "github:GoogleChrome/puppeteer",