From 90ace4157aea3b7c3b6cbb2fdd3dcdc069eb01fa Mon Sep 17 00:00:00 2001 From: Noah Chase Date: Tue, 17 Jan 2017 11:01:03 -0500 Subject: [PATCH] update version to 1.0.3 in drake-pkg MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit potentially resolves #217 I saw #217 and then I saw this file – is there more needed to resolve that issue, or will this simple change do it? --- bin/drake-pkg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/drake-pkg b/bin/drake-pkg index 581054d..ccaa7b8 100755 --- a/bin/drake-pkg +++ b/bin/drake-pkg @@ -4,7 +4,7 @@ # It has all the self-install, self-upgrade and build from source feature stripped out. -DRAKE_VERSION=1.0.1 +DRAKE_VERSION=1.0.3 if [ "$1" = "--upgrade" ]; then echo "This version of drake was installed with a package manager, but"