tree 91466bad448d545462e61ce0b57a1d888807e2c4
parent f1551b37cc57ba7172e17bf8e5b57a996a06365d
author Nico Weber <nicolasweber@gmx.de> 1494888082 -0400
committer GitHub <noreply@github.com> 1494888082 -0400

Revert 78f893bdbb1e4bf3e3eac41a59d39854b8045150

These brackets are supposed to not be replaced here, but in the source files, see paragraph right above the changed line.

Fixes #1212 again.