Merge pull request #1834 from fengrl/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 30 Nov 2018 09:48:46 +0000 (10:48 +0100)
committerGitHub <noreply@github.com>
Fri, 30 Nov 2018 09:48:46 +0000 (10:48 +0100)
register push/pop command change


Trivial merge