Merge pull request #27 from BotondBaranyi/master
authorElemer Lelik <erititan@users.noreply.github.com>
Wed, 6 Apr 2016 13:51:00 +0000 (15:51 +0200)
committerElemer Lelik <erititan@users.noreply.github.com>
Wed, 6 Apr 2016 13:51:00 +0000 (15:51 +0200)
commite067d67d0b51fba00a296d8ff3d1954a3b7da3a1
treeb11a81f5d7e8c94814e5dbe708620ba0f82a061f
parent5eefae6b96ad6c8bc19d18b99417a4f7471acb46
parent66d5fa86897485e9281242be57a307c1e4d0f1dc
Merge pull request #27 from BotondBaranyi/master

Legacy switch added for unions with unbound selected alternatives (ar…
This page took 0.024166 seconds and 5 git commands to generate.