Processed: affects 895137, merging 895137 895490

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> affects 895137 jenkins.debian.org
Bug #895137 [src:linux] linux-image-4.15.0-2-armmp: Internal error: Oops: 80000005 [#1] SMP ARM on Odroid XU4
Added indication that 895137 affects jenkins.debian.org
> merge 895137 895490
Bug #895137 [src:linux] linux-image-4.15.0-2-armmp: Internal error: Oops: 80000005 [#1] SMP ARM on Odroid XU4
Bug #895490 [src:linux] cpufreq problems on Odroid-XU4.
Merged 895137 895490
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
895137: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895137
895490: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895490
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems