Processed: retitle mono-related RFAs
Processing commands for control@bugs.debian.org:
> retitle 903142 O: boogie -- verifiable programming language (compiler)
Bug #903142 [wnpp] RFA: boogie -- verifiable programming language (compiler)
Changed Bug title to 'O: boogie -- verifiable programming language (compiler)' from 'RFA: boogie -- verifiable programming language (compiler)'.
> retitle 903143 O: dafny -- programming language with program correctness verifier
Bug #903143 [wnpp] RFA: dafny -- programming language with program correctness verifier
Changed Bug title to 'O: dafny -- programming language with program correctness verifier' from 'RFA: dafny -- programming language with program correctness verifier'.
> retitle 1051044 O: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL
Bug #1051044 [wnpp] ITA: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL
Changed Bug title to 'O: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL' from 'ITA: opentk -- Open Toolkit wrapper for OpenGL, OpenAL and OpenCL'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1051044: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1051044
903142: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903142
903143: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903143
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: