[eris] branch updates deleted (was ce33e0e)

[Olek Wojnar]

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

olek-guest pushed a change to branch updates
in repository eris.

       was  ce33e0e   Update symbols for GCC6

This change permanently discards the following revisions:

  discards  ce33e0e   Update symbols for GCC6
  discards  e999713   Fix symbols
  discards  72faa22   Disable additional network-related test

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