From fb1478d2cd59991e8d2fc2e07dacad505ef110b7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 19 Oct 2017 16:04:20 +0200
Subject: Moving bug numbers to BZ# format in the test-suite.

Compared to the original proposition (59a594b in #960), this commit
only changes files containing bug numbers that are also PR numbers.
---
 test-suite/modules/objects2.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/modules/objects2.v')

diff --git a/test-suite/modules/objects2.v b/test-suite/modules/objects2.v
index 220e2b3694..0a6b1f06de 100644
--- a/test-suite/modules/objects2.v
+++ b/test-suite/modules/objects2.v
@@ -2,7 +2,7 @@
    the logical objects in the environment
 *)
 
-(* Bug #1118 (simplified version), submitted by Evelyne Contejean
+(* BZ#1118 (simplified version), submitted by Evelyne Contejean
   (used to failed in pre-V8.1 trunk because of a call to lookup_mind
    for structure objects)
 *)
-- 
cgit v1.2.3