<@U051221NF>: I just merged the PR in question
# general
a
@happy-kitchen-89482: I just merged the PR in question