[debian-edu-commits] debian-edu/ branch master updated (455ad31 -> d5dd119)

[Petter Reinholdtsen]

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

pere pushed a change to branch master
in repository debian-edu-config.

      from  455ad31   Implement script to remove duplicate udev network rules, to work around bug #765577.  This avoid complete network failure on machines affected by this bug.
       new  bd639ba   Remove unused variable RUNXSERVER from the pre-pkgsel script.
       new  d5dd119   Tell grub in our pre-pkgsel script to use the disk device used by /boot, to work around bug #712907.

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog                       |  3 +++
 share/debian-edu-config/d-i/pre-pkgsel | 19 +++++++++++++++----
 2 files changed, 18 insertions(+), 4 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-config.git