Change https://review.openocd.org/c/openocd/+/6362 has been sitting idle
since December 2nd. There are no outstanding review issues. Can it be
merged? If not, can we discuss what the problems are so I can address them?

Thank you,
Tim


Reply via email to