summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 1747335d7027..0dd2b476d7ef 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@ pkgdesc="ROS - rqt_shell is a Python GUI plugin providing an interactive shell."
url='http://ros.org/wiki/rqt_shell'
pkgname='ros-indigo-rqt-shell'
-pkgver='0.3.11'
+pkgver='0.3.12'
_pkgver_patch=0
arch=('any')
pkgrel=1