Processed: control

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 [CUDA 7.5, patch] bumping CUDA from 7.0 to 7.5
Bug #807579 [nvidia-cuda-toolkit] [patch] CUDA 7.5 works well with GCC5, while CUDA 7.0 fails to.
Changed Bug title to '[CUDA 7.5, patch] bumping CUDA from 7.0 to 7.5' from '[patch] CUDA 7.5 works well with GCC5, while CUDA 7.0 fails to.'

-- 
807579: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=807579
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems