Bug#795013: Closing this bug (BTS maintenance for src:linux bugs)

[A. M.]

reopen 795013
thanks

# Dear Salvatore:
# I have not said anything for a long time, but not because the bug
# didn't occur, but because I didn't know what to do when the startup
# failed the described way, and because the failure was infrequent.  I
# always simply restarted the laptop.  The machine always runs the
# current Debian stable, whichever it may be.  The call stacks have
# already been given in the bug report if it helps.  I would kindly ask
# you to tell me how/what to debug next.
# Alex

Processed: Re: Bug#795013: Closing this bug (BTS maintenance for src:linux bugs)

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> reopen 795013
Bug #795013 {Done: car...@debian.org} [src:linux] "gdm3 won't start due to an 
error in kernel"
Bug reopened
Ignoring request to alter fixed versions of bug #795013 to the same values 
previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
795013: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=795013
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems