diff options
Diffstat (limited to 'changes/ticket33213')
-rw-r--r-- | changes/ticket33213 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/changes/ticket33213 b/changes/ticket33213 deleted file mode 100644 index f1da591bd1..0000000000 --- a/changes/ticket33213 +++ /dev/null @@ -1,3 +0,0 @@ - o Minor bugfixes (continuous integration): - - Remove the buggy and unused mirroring job. Fixes bug 33213; - bugfix on 0.3.2.2-alpha. |