Merge branch '3642_subshell_optional'
commit1f5e93efc9ebc824b8845b67e8b8b24e60d4e7ad
authorAndrew Borodin <aborodin@vmail.ru>
Tue, 28 Jun 2016 06:40:54 +0000 (28 09:40 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Tue, 28 Jun 2016 06:40:54 +0000 (28 09:40 +0300)
tree24bf750b3347c79f9bdd3ebfec6933d9bc3199ce
parent57d713085bdb8dfa02a605c99d800b39c15052b9
parent76a4969b00df32cf1edaea0f32de6aec281921ea
Merge branch '3642_subshell_optional'

* 3642_subshell_optional:
  Ticket #3642: make --with-subshell=optional working again.