Update _posts/07-07-01-Error-Reporting.md
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages

Conflicts:
	_posts/07-07-01-Error-Reporting.md
Merge pull request #211 from gerardroche/gh-pages

Trivial improvements on Error Reporting best practice