16:35:23 please also merge 3258 and then tag GUI 16:35:36 no other GUI PRs necessary 16:36:23 luigi1111w: ^ 16:38:15 done 16:39:27 thanks 21:38:46 .merge+ 3259 21:38:46 Added 21:38:49 .merge+ 3260 21:38:49 Added 23:01:07 .merge+ 6877 6977 6989 7003 23:01:08 Added