Broccoli 0.7.1 released

Zeek
1

Hi all,

Broccoli 0.7.1 is now available in tar.gz and RPM formats from

  http://www.cl.cam.ac.uk/~cpk25/broccoli/index.html

This release fixes portability issues I overlooked in 0.7 and has
updated documentation. Details are in the ChangeLog, as usual:

  http://www.cl.cam.ac.uk/~cpk25/broccoli/ChangeLog

Thanks,
Christian.