[Pkg-zfsonlinux-devel] Processed: reassign 877694 to spl-dkms, user debian-qa at lists.debian.org, usertagging 877910, usertagging 877548 ...

[Debian Bug Tracking System]

Processing commands for control at 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 at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at 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 at bugs.debian.org with problems