From 518ff7622871f6743bb9c6b16536b81cf2bb309e Mon Sep 17 00:00:00 2001
From: "Tate, Hongliang Tian" <tate.thl@antfin.com>
Date: Sat, 11 Jul 2020 12:56:59 +0000
Subject: [PATCH] Bump version to 0.13.1

---
 .travis.yml          | 2 +-
 README.md            | 2 +-
 src/libos/Cargo.lock | 2 +-
 src/libos/Cargo.toml | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index cc325206..34d0e3bf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,6 @@ services:
   - docker
 
 script:
-- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
+- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.1-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
                 info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
                 make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'
diff --git a/README.md b/README.md
index b57cc85a..6a5149d4 100644
--- a/README.md
+++ b/README.md
@@ -175,7 +175,7 @@ Step 1-3 are to be done on the host OS (Linux):
 
 3. Run the Occlum Docker container, which has Occlum and its demos preinstalled:
     ```
-    docker run -it --device /dev/isgx occlum/occlum:0.13.0-ubuntu18.04
+    docker run -it --device /dev/isgx occlum/occlum:0.13.1-ubuntu18.04
     ```
 
 Step 4-5 are to be done on the guest OS running inside the Docker container:
diff --git a/src/libos/Cargo.lock b/src/libos/Cargo.lock
index e956665c..be5764fe 100644
--- a/src/libos/Cargo.lock
+++ b/src/libos/Cargo.lock
@@ -2,7 +2,7 @@
 # It is not intended for manual editing.
 [[package]]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "bitflags",
  "bitvec",
diff --git a/src/libos/Cargo.toml b/src/libos/Cargo.toml
index eb99413c..7d50d6e3 100644
--- a/src/libos/Cargo.toml
+++ b/src/libos/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 edition = "2018"
 
 [lib]