Closed TallTed closed 3 years ago
I agree it looks like this line was probably deleted by accident. @jandrieu can you confirm?
Looks like I never got around to finishing my review of #616:
I agree this probably shouldn't have been deleted.
Oops. Thanks!
Editorial, multiple positive reviews, no objections, merging.
happened in #616
Preview | Diff