Processing commands for cont...@bugs.debian.org: > user debian-j...@lists.debian.org Setting user to debian-j...@lists.debian.org (was ebo...@apache.org). > usertag 902386 + default-java10 There were no usertags set. Usertags are now: default-java10. > retitle 902386 cvc3: FTBFS in API tests with Java 10 due to -d64 option > removal Bug #902386 [src:cvc3] cvc3: FTBFS in API tests Changed Bug title to 'cvc3: FTBFS in API tests with Java 10 due to -d64 option removal' from 'cvc3: FTBFS in API tests'. > End of message, stopping processing here.
Please contact me if you need assistance. -- 902386: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902386 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
