Please turn it on in your browser preferences.
for specific sites, we recommend the
Review Request #1087 -
Created May 19, 2018 and submitted
May 21, 2018, 3:08 p.m.
- Latest diff uploaded
May 21, 2018, 12:28 p.m.
mixed up '}' and missing newlines.
+ eventual cstyle cleanup.