This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Hurd".
The branch, jlledom-pci-memory-map has been deleted
was 1eb7fdd9ec8b82273574e575342ead5d55916fd0
-----------------------------------------------------------------------
1eb7fdd9ec8b82273574e575342ead5d55916fd0 Merge branch 'jlledom-pci-memory-map'
of ssh://git.savannah.gnu.org/srv/git/hurd/hurd into jlledom-pci-memory-map
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
