Changes

#2 (Jul 14, 2020, 11:34:01 PM)

1. Add missing whitespace — noreply / githubweb
2. Restore — Hans.Olsson / githubweb
3. RestoreSpace — Hans.Olsson / githubweb
4. Restore — Hans.Olsson / githubweb
5. Update chapters/annotations.tex — Hans.Olsson / githubweb
6. Update chapters/annotations.tex — Hans.Olsson / githubweb
7. Restore quoted identifier part — Hans.Olsson / githubweb
8. Remove space added for source code readability — Tidefelt Henrik / githubweb

#2 (Jul 14, 2020, 11:34:01 PM)

1. Add missing whitespace — noreply / githubweb
2. Restore — Hans.Olsson / githubweb
3. RestoreSpace — Hans.Olsson / githubweb
4. Restore — Hans.Olsson / githubweb
5. Update chapters/annotations.tex — Hans.Olsson / githubweb
6. Update chapters/annotations.tex — Hans.Olsson / githubweb
7. Restore quoted identifier part — Hans.Olsson / githubweb
8. Remove space added for source code readability — Tidefelt Henrik / githubweb