[planetblupi] branch disable-phone-home-with-curl deleted (was 6134edc)

[Didier Raboud]

This is an automated email from the git hooks/post-receive script.

odyx pushed a change to branch disable-phone-home-with-curl
in repository planetblupi.

       was  6134edc   Make the CURL dependency optional, through the PLANETBLUPI_HTTP_VERSION_CHECK CMake option

This change permanently discards the following revisions:

  discards  6134edc   Make the CURL dependency optional, through the PLANETBLUPI_HTTP_VERSION_CHECK CMake option

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/planetblupi.git