[Issue 17517] Missing default_ddoc_theme.ddoc in Archives from dlang.org/download

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=17517

RazvanN <razvan.nitu1305 at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |razvan.nitu1305 at gmail.com
         Resolution|---                         |WORKSFORME

--- Comment #8 from RazvanN <razvan.nitu1305 at gmail.com> ---
I cannot reproduce this.

--