Comment Comment by posedge Fortunately, having discord running in the background will interrupt you another 1927329 times that day for equally important things parent posedge 4 years ago
