[clasp] 01/02: Merge branch 'master' into devel

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository clasp.

commit d30aa6593c205f1317a3a22809dfe5842e224462
Merge: c3cb268 a503dcd
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon Oct 5 06:57:36 2015 +0200

    Merge branch 'master' into devel


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/clasp.git