Processing commands for cont...@bugs.debian.org: > close 785419 Bug #785419 [src:linux] linux-image-4.0.0-1-armmp: with 2 RTC devices -- need way to chose which one sets system clock on boot Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 785419: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=785419 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
