[12:25] <TopGear> Welke kernel komt eigenlijk in 15.10? Degene die nu in Proposed zit, of degene die nu in Release (main) zit? Release is namelijk 4.2.0-7.7 en Proposed is 4.2.0-10-11; da's best nog wel een verschil.
[12:33] <lordievader> 4.2
[12:40] <TopGear> lordievader, figured as much :-) Er is dus nog niet bekend welke versie er uiteindelijk in gezet wordt?
[12:59] <lordievader> Een 4.2.x.y kernel.