Processed: Re: pppoe workaround of the post-reboot problem

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 263224 serious
Bug#263224: no pppoe module at boot time
Severity set to `serious'.

> reassign 262941 modutils
Bug#262941: no working pppoeconf and pppoe
Bug reassigned from package `installation-reports' to `modutils'.

> severity 262941 serious
Bug#262941: no working pppoeconf and pppoe
Severity set to `serious'.

> merge 262941 263224
Bug#262941: no working pppoeconf and pppoe
Bug#263224: no pppoe module at boot time
Merged 262941 263224.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)