From b31d4ac12300dfe33906bd5580be9b2a082fc0df Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Mon, 22 Sep 2014 16:34:04 -0500
Subject: [PATCH] PDF.js version 1.0.715

---
 bower.json            | 2 +-
 build/pdf.combined.js | 4 ++--
 build/pdf.js          | 4 ++--
 build/pdf.worker.js   | 4 ++--
 package.json          | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/bower.json b/bower.json
index e018ddbe9..3ed324cbe 100644
--- a/bower.json
+++ b/bower.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.712",
+  "version": "1.0.715",
   "keywords": [
     "Mozilla",
     "pdf",
diff --git a/build/pdf.combined.js b/build/pdf.combined.js
index a90842bb6..e5c00df92 100644
--- a/build/pdf.combined.js
+++ b/build/pdf.combined.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.712';
-PDFJS.build = '6969ed4';
+PDFJS.version = '1.0.715';
+PDFJS.build = 'b4fb1e2';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/build/pdf.js b/build/pdf.js
index cb69b433b..6f4b70a86 100644
--- a/build/pdf.js
+++ b/build/pdf.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.712';
-PDFJS.build = '6969ed4';
+PDFJS.version = '1.0.715';
+PDFJS.build = 'b4fb1e2';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/build/pdf.worker.js b/build/pdf.worker.js
index ced93e87e..cb1608050 100644
--- a/build/pdf.worker.js
+++ b/build/pdf.worker.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.712';
-PDFJS.build = '6969ed4';
+PDFJS.version = '1.0.715';
+PDFJS.build = 'b4fb1e2';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/package.json b/package.json
index bcfd6af54..aed0006c8 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.712",
+  "version": "1.0.715",
   "description": "Generic build of Mozilla's PDF.js library.",
   "keywords": [
     "Mozilla",