Board Thread:Bug Reports/@comment-33537763-20171202211402/@comment-33537763-20171205172008

Apparently, this bug has been fixed, so this thread can be closed.