Docs bug for terminal
Submitted by Havoc Pennington
Assigned to Havoc Pennington
Description
The "Edit->Current Profile" menu item moved from "Terminal->Edit current profile" according to https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=72935
Version: 2.0.x
Resolution: RESOLVED FIXED