gregor herrmann

gregor herrmann at

very nice text!


near the end: s/bug report/$&s/


thanks!

fixed in my copy and submitted "upstream" to the authors

(see the beauty of a free-as-in-freedom book? ;-))

Stefano Zacchiroli at 2013-12-10T17:24:49Z

lostson likes this.