Merge branch 'refs/heads/t/shadow-fix'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2016 19:10:56 +0000 (21:10 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2016 19:10:56 +0000 (21:10 +0200)
commit41c5e79dcdd912777b7e235b6e9d238a066a21d0
treec0beba99f1143ea47360153b76f8add3b6414711
parentcd70d5ea935c3f445b9e3b934990b4ecd777baff
parent6aa9399b93eea6da2a1a6aa618a42abde80aae28
Merge branch 'refs/heads/t/shadow-fix'

started 6 weeks ago, cooking for two weeks.

* refs/heads/t/shadow-fix:
  dss: Do not shadow a global declaration.