No matches were found for subject:"\[Bug 872876\] Re\: terminal window resizes when moving around window in awesome window manager"