GNUnet and gnunet-gtk 0.7.1b released

Amongst others, 0.7.1b fixes the following issues:

    * 0001169: gnunet-stats: options are not honored
    * 0001173: gnunet-stats: munmap_chunk(): invalid pointer
    * 0001172: gnunet-gtk: Clearing fails for completed directory with
      in complete files
    * 0001042: gnunet-gtk: ability to copy URIs to CLIPBOARD + PRIMARY
    * 0001011: gnunet-gtk: ability to save search results as a gnunet
      directory
    * 0001012: gnunet-gtk: ability to view stored gnunet-directories
    * 0001069: Win32 port: Program exists without any notice (FAT32
      4GB barrier)
    * 0001181: build process: Build process failed, header un-includable
    * 0001180: build process: Install process failed
    * 0001179: gnunet-search: a directory called $GNUNET_HOME gets
      created for namespace data
    * 0001182: gnunet-gtk: Install process failed
    * 0001172: gnunet-gtk: Clearing fails for completed directory with
      in complete files

Also, 0.7.1b is the first version in the 0.7.1 series that supports
Win32. Due to major changes, feedback on this port is highly appreciated.

The source will be uploaded to the GNU mirrors tomorrow. In the
meantime, you can get the source from
    http://www.gnunet.org/download/GNUnet-0.7.1b.tar.bz2

The binary for Win32 is available here:
    http://www.gnunet.org/download/win32/Setup-0.7.1b.exe