<@UKQ8DL2PP>: he posted a PR to fix that, iirc
# developmentw
witty-crayon-22786
07/11/2019, 11:55 PM@early-needle-54791: he posted a PR to fix that, iirc
e
early-needle-54791
07/11/2019, 11:55 PM🤦 thanks
w
witty-crayon-22786
07/11/2019, 11:55 PMif it's green i'll merge it
witty-crayon-22786
07/11/2019, 11:55 PM(...even if it isn't, should probably merge it)
witty-crayon-22786
07/11/2019, 11:55 PMe
early-needle-54791
07/11/2019, 11:55 PMwell as long as the above failure is fixed…
w
witty-crayon-22786
07/11/2019, 11:56 PMit isn't. hm.
witty-crayon-22786
07/11/2019, 11:56 PMi'm going to go ahead and revert the thing that that was trying to fix
witty-crayon-22786
07/12/2019, 12:00 AM