Was there any indication in that other thread that an issue was filed? If not one does need to be filed so this problem can be fixed. See How to file an Issue
Was there any indication in that other thread that an issue was filed? If not one does need to be filed so this problem can be fixed. See How to file an Issue