[Pkg-julia-devel] Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 850915 ghc: Please switch to llvm 6.0
Bug #850915 [src:ghc] ghc: Please switch to llvm 5.0
Changed Bug title to 'ghc: Please switch to llvm 6.0' from 'ghc: Please switch to llvm 5.0'.
> retitle 836602 RM: llvm-toolchain-3.7 -- ROM
Bug #836602 [ftp.debian.org] RM: llvm-toolchain-3.7 -- ROM; We should ship only 3.8, 3.9 and maybe 4.0 in the next stable
Changed Bug title to 'RM: llvm-toolchain-3.7 -- ROM' from 'RM: llvm-toolchain-3.7 -- ROM; We should ship only 3.8, 3.9 and maybe 4.0 in the next stable'.
> retitle 873408 julia: Please update to llvm-toolchain 6.0
Bug #873408 [src:julia] julia: Please update to llvm-toolchain 4.0 or, better, 5.0
Changed Bug title to 'julia: Please update to llvm-toolchain 6.0' from 'julia: Please update to llvm-toolchain 4.0 or, better, 5.0'.
> retitle 873412 ycmd: Please update to llvm-toolchain 6.0
Bug #873412 [src:ycmd] ycmd: Please update to llvm-toolchain 4.0 or, better, 5.0
Changed Bug title to 'ycmd: Please update to llvm-toolchain 6.0' from 'ycmd: Please update to llvm-toolchain 4.0 or, better, 5.0'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
836602: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836602
850915: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=850915
873408: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873408
873412: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873412
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems