Processing commands for cont...@bugs.debian.org:
> forcemerge 843764 832175
Bug #843764 {Done: car...@debian.org} [src:linux] WARNING: fpu__restore
Bug #843764 {Done: car...@debian.org} [src:linux] WARNING: fpu__restore
Marked as found in versions linux/4.6.4-1.
Bug #832175 {Done: car...@debian.org} [src:linux] WARNING fpu/internal.h:532
fpu__restore
Set Bug forwarded-to-address to 'linux-rt-us...@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 ow...@bugs.debian.org with problems
