Skip to content

Conversation

lurch
Copy link
Contributor

@lurch lurch commented Aug 9, 2021

Third time lucky? Fixes #1977 (hopefully! 🤞 )

@lurch lurch added bug fix toolchain This is an infrastructure/toolchain issue labels Aug 9, 2021
@lurch lurch requested a review from mudge August 9, 2021 12:21
@lurch lurch mentioned this pull request Aug 9, 2021
Copy link
Contributor

@aallan aallan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Fixed! /cc @mudge @nelliemckesson

@aallan aallan merged commit 3ff23e9 into develop Aug 9, 2021
@aallan aallan deleted the titles3 branch August 9, 2021 12:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug fix toolchain This is an infrastructure/toolchain issue

2 participants