Processed: reassign 877694 to spl-dkms, user debian-qa@lists.debian.org, usertagging 877910, usertagging 877548 ...
Processing commands for control@bugs.debian.org:
> reassign 877694 spl-dkms 0.6.5.11-1
Bug #877694 [src:spl-linux] spl-linux: Fails to build with kernel 4.13
Bug reassigned from package 'src:spl-linux' to 'spl-dkms'.
Ignoring request to alter found versions of bug #877694 to the same values previously set
Ignoring request to alter fixed versions of bug #877694 to the same values previously set
Bug #877694 [spl-dkms] spl-linux: Fails to build with kernel 4.13
Marked as found in versions spl-linux/0.6.5.11-1.
> user debian-qa@lists.debian.org
Setting user to debian-qa@lists.debian.org (was anbe@debian.org).
> usertags 877910 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 877548 piuparts
There were no usertags set.
Usertags are now: piuparts.
> affects 877548 + liblwt-ocaml-dev
Bug #877548 [src:lwt] lwt FTBFS: Error: This variant or record definition does not match that of type Unix.open_flag
Added indication that 877548 affects liblwt-ocaml-dev
> usertags 843315 piuparts
Usertags were: piuparts.
Usertags are now: piuparts.
> affects 843315 + libcore-kernel-ocaml
Bug #843315 [janest-core-kernel] FTBFS: libsexplib-camlp4-dev is no longer available
Added indication that 843315 affects libcore-kernel-ocaml
> usertags 877507 piuparts
There were no usertags set.
Usertags are now: piuparts.
> affects 877507 + libppx-core-ocaml
Bug #877507 [src:ppx-core] ppx-core FTBFS: E: Cannot find external tool 'ocamlbuild'
Added indication that 877507 affects libppx-core-ocaml
> usertags 877496 piuparts
There were no usertags set.
Usertags are now: piuparts.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
843315: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843315
877496: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877496
877507: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877507
877548: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877548
877694: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877694
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: