diff --git a/doc/bugs/get_is_busy_doing_nothing/comment_24_054db0e62994590631737b9bd768d901._comment b/doc/bugs/get_is_busy_doing_nothing/comment_24_054db0e62994590631737b9bd768d901._comment new file mode 100644 index 0000000000..f2a528db56 --- /dev/null +++ b/doc/bugs/get_is_busy_doing_nothing/comment_24_054db0e62994590631737b9bd768d901._comment @@ -0,0 +1,7 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 24""" + date="2022-06-08T16:53:06Z" + content=""" +Right, DebugLocks is not needed. The current daily build should work now. +"""]]