Bug#868258: Patches or pull request before updating to 4.13

Hi Dimitri, Thank for you for applying these and uploading an update. On Wed, Oct 18, 2017 at 02:13:34PM +0100, Dimitri John Ledkov wrote: > On 18 September 2017 at 19:12, Nicholas D Steeves wrote: > > > > Hi Dimitri, > > > > List of patches against 4.12-1 is at the bottom.

Bug#868258: Patches or pull request before updating to 4.13

On 18 September 2017 at 19:12, Nicholas D Steeves wrote: > > Hi Dimitri, > > List of patches against 4.12-1 is at the bottom. Please apply them > before merging 4.13. In particular this is essential for 0001. While > I don't use Ubuntu, let's prioritize getting this package

Bug#868258: Patches or pull request before updating to 4.13

Hi Dimitri, List of patches against 4.12-1 is at the bottom. Please apply them before merging 4.13. In particular this is essential for 0001. While I don't use Ubuntu, let's prioritize getting this package into great shape before 18.04's final merge from Debian! > > >> > M