Replace option sol_max_rt by inf_max_rt in reply response to information request
authorHans Dedecker <dedeckeh@gmail.com>
Tue, 1 Jul 2014 19:38:01 +0000 (21:38 +0200)
committerHans Dedecker <dedeckeh@gmail.com>
Tue, 1 Jul 2014 19:47:14 +0000 (21:47 +0200)

No differences found