@ericmigi @tulir @Madelena This seems like a pretty simple/useful PR to click the merge button on, yet has been sitting around since December 2022.. any chance of getting it merged soon?
Edit: This is also submitted to Beeper's bug report tracker as DES-10607
@ericmigi @tulir @Madelena This seems like a pretty simple/useful PR to click the merge button on, yet has been sitting around since December 2022.. any chance of getting it merged soon?
Edit: This is also submitted to Beeper's bug report tracker as DES-10607