[Pkg-dkms-maint] Bug#757758: [9064776] Fix for Bug#757758 committed to git

[Giuseppe Iuculano]

tags 757758 + pending
thanks

Hello,

     The following change has been committed for this bug by
 Giuseppe Iuculano <iuculano at debian.org> on Sat, 4 Oct 2014 19:28:19 +0200.
 The fix will be in the next upload. 
=========================================================================
Fixed "sed without options" issue.

Closes: #757758
Thanks: Cristian Ionescu-Idbohrn
=========================================================================

You can check the diff of the fix at:

    ;a=commitdiff;h=9064776