[auto] Merge from Praspel
[auto] Merge from Praspel

    • #498fa50 — Better contract extraction. (Ivan Enderlin, 2013-05-30)

---

Merge remote branch 'library-praspel/master'

vcgato29/Central,vcgato29/Central,Grummfy/Central,Metalaka/Central,Grummfy/Central,Metalaka/Central