Remove the PidginProxyOptions widget
Review Request #1872 — Created Sept. 30, 2022 and submitted
This was created to try and save some duplication, but then we moved everything to list boxes and avoided a bunch of duplication.
- Opened the account editor and preferences and made sure there were no issues.
- Ran
ninja pidgin-pot.
| Summary | ID |
|---|---|
| 26611da78879529e8ef8ef579ad75b5f6804c255 |
