plshell: explicitly cast to string PL Username and AuthString
authorMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 13 Nov 2013 17:27:36 +0000 (18:27 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 13 Nov 2013 17:27:36 +0000 (18:27 +0100)

No differences found