Processed: your mail

To: Lev Lamberov <dogsleg@riseup.net>
Cc: wnpp@debian.org
Subject: Processed: your mail
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 14 Jul 2018 05:09:03 +0000
Message-id: <[🔎] handler.s.C.15315446789476.transcript@bugs.debian.org>
References: <E1feCjS-0005Sf-OJ@urfu-thinkpad>

Processing commands for control@bugs.debian.org:

> retitle 903143 RFA: dafny -- programming language with program correctness verifier
Bug #903143 [wnpp] RFA: dafny
Changed Bug title to 'RFA: dafny -- programming language with program correctness verifier' from 'RFA: dafny'.
>
End of message, stopping processing here.

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

Reply to:

Prev by Date: Processed: your mail
Next by Date: Bug#882871: marked as done (O: python-activipy -- implementation of ActivityStreams 2.0)
Previous by thread: Processed: your mail
Next by thread: Processed: your mail
Index(es):
- Date
- Thread