From 74dc3e9a3edbfe4e8bdf5a69a8d2a8b942e1ce12 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulipchat.com>
Date: Thu, 9 Aug 2018 15:36:01 -0700
Subject: [PATCH] tools: Remove unused munge-postgres-logs.

This hasn't been used in several years.
---
 tools/munge-postgres-logs | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 tools/munge-postgres-logs

diff --git a/tools/munge-postgres-logs b/tools/munge-postgres-logs
deleted file mode 100755
index 2bc698b57e..0000000000
--- a/tools/munge-postgres-logs
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/perl
-use strict;
-use warnings;
-
-while (<>) {
-  # remove milliseconds
-  s/(?<= \d\d:\d\d:\d\d)\.\d{3}//;
-  # convert session id to process id
-  s/\[[0-9a-zA-Z]+\.([0-9a-zA-Z]+)\]/"[" . hex($1) . "]"/e;
-  print;
-}