diff --git a/refs/heads/mail_list_dev b/refs/heads/mail_list_dev deleted file mode 100644 index 0a67b8a5c..000000000 --- a/refs/heads/mail_list_dev +++ /dev/null @@ -1 +0,0 @@ -UPDATE e1fa541b6a4faec988a28bbfed077fc642ce03b6 5afe8a5ad1f8603415ed2bcd2fde182d40310b2d \ No newline at end of file