blob: bbcaa99ede6285f005054f53fd4e31ac8e0e13bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
name = "wg-debugging"
wg = true
[people]
leads = ["manishearth", "michaelwoerister", "tromey"]
members = [
"manishearth",
"michaelwoerister",
"tromey",
]
[website]
name = "Debugging working group"
description = "debugging tools and foundations"
discord-invite = "https://discord.gg/UW3rnhd"
discord-name = "#wg-debugging"
|
