Add missing link in the Irmin post #191

Merged
merged 1 commit into from Jul 18, 2014
Commits on Jul 18, 2014
  1. @samoht