ion
ion copied to clipboard
Changes to the Q&A
I am cleaning up my repos. And saw a few changes that @thehenrytsai and I have been working in 2021. Never offered them as a pull request, I guess. Best, Henk
@henkvancann. sanity: is this already merged a while back? The file tab shows zero changes.
Ow sorry, Henry, I think, then I've been looking at the wrong diff. Thx for checking!, best, Henk
On 5 aug. 2022 at 19:32, Henry Tsai @.***> wrote:
@henkvancann. sanity: is this already merged a while back? The file tab shows zero changes.
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: @.***>
Closing this PR. Feel free to reopen if comments above is not making sense.