18:49:39 found a bug in GUI v0.18.4.6, will fix it and tag v0.18.4.7 18:49:48 release will be delayed in the meantime 20:49:22 .merge+ 4571 4572 20:49:23 Added 21:19:30 .merges 21:19:30 -xmr-pr- 4570 4571 4572 21:20:17 luigi1111: please merge ^ and tag v0.18.4.7 21:20:24 regular repo does not need a new tag