Processed: forcibly merging 843764 832175
Processing commands for control@bugs.debian.org:
> forcemerge 843764 832175
Bug #843764 {Done: carnil@debian.org} [src:linux] WARNING: fpu__restore
Bug #843764 {Done: carnil@debian.org} [src:linux] WARNING: fpu__restore
Marked as found in versions linux/4.6.4-1.
Bug #832175 {Done: carnil@debian.org} [src:linux] WARNING fpu/internal.h:532 fpu__restore
Set Bug forwarded-to-address to 'linux-rt-users@vger.kernel.org'.
Marked as found in versions linux/4.8.5-1.
Merged 832175 843764
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
832175: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=832175
843764: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843764
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: