Merge pull request #1859 from sergey-vb/sergey-vb-fix-redirection_number
authorDaniel-Constantin Mierla <miconda@gmail.com>
Tue, 19 Feb 2019 07:32:32 +0000 (08:32 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 07:32:32 +0000 (08:32 +0100)
sipt: $sipt(redirection_number) evaluates the value as a numerical value


Trivial merge