gui: default port not shown correctly in settings dialog #12623

1. 
   fanquake commented at 9:14 pm on March 6, 2018: member

   Using 20e3b9a485fd6b23785c5caa49d01ea49fdc8bcf. Should obviously be 9050, not %2.
2. fanquake added the label GUI on Mar 6, 2018
3. 
   Willtech commented at 7:03 pm on March 8, 2018: contributor

   Previously noted in PR# 11809
4. 
   Sjors commented at 9:35 am on April 9, 2018: member

   Fixed, see #11809.
5. laanwj closed this on Apr 11, 2018

   ---

6. laanwj referenced this in commit f15b72f482 on Apr 11, 2018
7. PastaPastaPasta referenced this in commit 547aef1b0b on Apr 3, 2020
8. ckti referenced this in commit 82290b48bf on Mar 28, 2021
9. DrahtBot locked this on Sep 8, 2021
10. gades referenced this in commit 9ad299ee1d on Feb 22, 2022

Contributors
fanquake Willtech Sjors

Labels
GUI