diff options
| author | Théo Zimmermann | 2017-10-23 11:49:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-10-23 11:49:42 +0200 |
| commit | a511dbb827b556077fe19c28d0c6c43a6afe387d (patch) | |
| tree | f66d0d207a6becc0a88d2754393735bd5a2fbdaa | |
| parent | 0897d0f642c19419c513f9609782436bebf28f5b (diff) | |
Move bug files to match their new GitHub ID (fixes #6001).
| -rw-r--r-- | test-suite/bugs/closed/1238.v (renamed from test-suite/bugs/closed/38.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1341.v (renamed from test-suite/bugs/closed/121.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1362.v (renamed from test-suite/bugs/closed/148.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1542.v (renamed from test-suite/bugs/closed/328.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1543.v (renamed from test-suite/bugs/closed/329.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1545.v (renamed from test-suite/bugs/closed/331.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1547.v (renamed from test-suite/bugs/closed/335.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1551.v (renamed from test-suite/bugs/closed/348.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1584.v (renamed from test-suite/bugs/closed/545.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/5797.v (renamed from test-suite/bugs/closed/846.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/5845.v (renamed from test-suite/bugs/closed/931.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/5940.v (renamed from test-suite/bugs/closed/1100.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1615.v (renamed from test-suite/bugs/opened/743.v) | 0 |
13 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/38.v b/test-suite/bugs/closed/1238.v index 6b6e83779f..6b6e83779f 100644 --- a/test-suite/bugs/closed/38.v +++ b/test-suite/bugs/closed/1238.v diff --git a/test-suite/bugs/closed/121.v b/test-suite/bugs/closed/1341.v index 8c5a38859f..8c5a38859f 100644 --- a/test-suite/bugs/closed/121.v +++ b/test-suite/bugs/closed/1341.v diff --git a/test-suite/bugs/closed/148.v b/test-suite/bugs/closed/1362.v index 6cafb9f0cd..6cafb9f0cd 100644 --- a/test-suite/bugs/closed/148.v +++ b/test-suite/bugs/closed/1362.v diff --git a/test-suite/bugs/closed/328.v b/test-suite/bugs/closed/1542.v index 52cfbbc496..52cfbbc496 100644 --- a/test-suite/bugs/closed/328.v +++ b/test-suite/bugs/closed/1542.v diff --git a/test-suite/bugs/closed/329.v b/test-suite/bugs/closed/1543.v index def6ed98dd..def6ed98dd 100644 --- a/test-suite/bugs/closed/329.v +++ b/test-suite/bugs/closed/1543.v diff --git a/test-suite/bugs/closed/331.v b/test-suite/bugs/closed/1545.v index 9ef796faf7..9ef796faf7 100644 --- a/test-suite/bugs/closed/331.v +++ b/test-suite/bugs/closed/1545.v diff --git a/test-suite/bugs/closed/335.v b/test-suite/bugs/closed/1547.v index 166fa7a9f2..166fa7a9f2 100644 --- a/test-suite/bugs/closed/335.v +++ b/test-suite/bugs/closed/1547.v diff --git a/test-suite/bugs/closed/348.v b/test-suite/bugs/closed/1551.v index 48f0b55129..48f0b55129 100644 --- a/test-suite/bugs/closed/348.v +++ b/test-suite/bugs/closed/1551.v diff --git a/test-suite/bugs/closed/545.v b/test-suite/bugs/closed/1584.v index 926af7dd1c..926af7dd1c 100644 --- a/test-suite/bugs/closed/545.v +++ b/test-suite/bugs/closed/1584.v diff --git a/test-suite/bugs/closed/846.v b/test-suite/bugs/closed/5797.v index ee5ec1fa6a..ee5ec1fa6a 100644 --- a/test-suite/bugs/closed/846.v +++ b/test-suite/bugs/closed/5797.v diff --git a/test-suite/bugs/closed/931.v b/test-suite/bugs/closed/5845.v index ea3347a851..ea3347a851 100644 --- a/test-suite/bugs/closed/931.v +++ b/test-suite/bugs/closed/5845.v diff --git a/test-suite/bugs/closed/1100.v b/test-suite/bugs/closed/5940.v index 32c78b4b9e..32c78b4b9e 100644 --- a/test-suite/bugs/closed/1100.v +++ b/test-suite/bugs/closed/5940.v diff --git a/test-suite/bugs/opened/743.v b/test-suite/bugs/opened/1615.v index 2825701410..2825701410 100644 --- a/test-suite/bugs/opened/743.v +++ b/test-suite/bugs/opened/1615.v |