[Pkg-linaro-lava-devel] lava is marked for autoremoval from testing

[Debian testing autoremoval watch]

lava 2018.5.post1-4 is marked for autoremoval from testing on 2018-11-12

It (build-)depends on packages with these RC bugs:
885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2
909542: opam: FTBFS when built with dpkg-buildpackage -A
910222: opam: copyright file missing after upgrade (policy 12.5)