Skip to content

Conversation

@szhorvat
Copy link
Member

@Gomango999 Do you remember why you added the note at the end? I believe what is said there is not true, but if it is, that would be a bug, and we need to fix it.

@Gomango999
Copy link
Contributor

Ah I see, I genuinely thought it was true at the time. Some research has now shown that this is not the case. Feel free to delete it.

@ntamas ntamas merged commit e747799 into master Oct 18, 2022
@ntamas ntamas deleted the szhorvat-patch-2 branch October 18, 2022 14:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants