John F. Lewis has submitted this change and it was merged.

Change subject: add sockets directory
......................................................................


add sockets directory

Change-Id: I747e3e74bc4971a38e6d8e2e4a802b955db1ab26
---
A bots/tmp/sockets/.gitkeep
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  John F. Lewis: Verified; Looks good to me, approved



diff --git a/bots/tmp/sockets/.gitkeep b/bots/tmp/sockets/.gitkeep
new file mode 100644
index 0000000..8b13789
--- /dev/null
+++ b/bots/tmp/sockets/.gitkeep
@@ -0,0 +1 @@
+

-- 
To view, visit https://gerrit.wikimedia.org/r/199626
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I747e3e74bc4971a38e6d8e2e4a802b955db1ab26
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/WMT
Gerrit-Branch: master
Gerrit-Owner: John F. Lewis <[email protected]>
Gerrit-Reviewer: John F. Lewis <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to