Merge remote-tracking branch 'github/merge-requests/393'
authorKlaus Ethgen <Klaus@Ethgen.de>
Sun, 22 May 2016 20:23:16 +0000 (21:23 +0100)
committerKlaus Ethgen <Klaus@Ethgen.de>
Sun, 22 May 2016 20:23:16 +0000 (21:23 +0100)
* github/merge-requests/393:
  Fix compilation instructions.


Trivial merge