Processing control commands: > tags -1 + moreinfo 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 Added tag(s) moreinfo. -- 785419: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=785419 Debian Bug Tracking System Contact owner@bugs.debian.org with problems