00:18 <+bridge> [ddnet] @deen GJ 00:18 <+bridge> [ddnet] Largest change ever merged I guess 😄 00:20 <+bridge> [ddnet] @Learath2 do you still have the script to check the variable name style? 00:22 <+bridge> [ddnet] Yep 00:22 <+bridge> [ddnet] link? 00:22 <+bridge> [ddnet] I'm looking for it 00:23 <+bridge> [ddnet] https://gist.github.com/Learath2/e0ebd13d3a7aad08ca96a9e658ae28d3 00:24 <+bridge> [ddnet] I think there was something missing in it, though I don't quite remember 00:24 <+bridge> [ddnet] and it required a small change in your extract identifiers script iitc 00:24 <+bridge> [ddnet] iirc* 00:26 <+bridge> [ddnet] https://discordapp.com/channels/252358080522747904/293493549758939136/626427150135984139 yep for union members 00:27 <+bridge> [ddnet] uh oh 00:29 <+bridge> [ddnet] oh uh?