From 96284904cd84d15781682928345efaf4edd765c8 Mon Sep 17 00:00:00 2001
From: Jerry Tworek <jerry@millionintegrals.com>
Date: Mon, 12 Aug 2019 16:36:12 -0700
Subject: [PATCH] Bump mujoco-py version number.

---
 mujoco_py/version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mujoco_py/version.py b/mujoco_py/version.py
index e29b6416..ce0a1039 100644
--- a/mujoco_py/version.py
+++ b/mujoco_py/version.py
@@ -1,6 +1,6 @@
 __all__ = ['__version__', 'get_version']
 
-version_info = (2, 0, 2, 4)
+version_info = (2, 0, 2, 5)
 # format:
 # ('mujoco_major', 'mujoco_minor', 'mujoco_py_major', 'mujoco_py_minor')