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/success/ROmega2.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/success/ROmega2.v')

diff --git a/test-suite/success/ROmega2.v b/test-suite/success/ROmega2.v
index 87e8c8e33e..43eda67ea3 100644
--- a/test-suite/success/ROmega2.v
+++ b/test-suite/success/ROmega2.v
@@ -1,6 +1,6 @@
 Require Import ZArith ROmega.
 
-(* Submitted by Yegor Bryukhov (#922) *)
+(* Submitted by Yegor Bryukhov (BZ#922) *)
 
 Open Scope Z_scope.
 
-- 
cgit v1.2.3