#! /usr/bin/env bash
#
# Replace timestamps of the form "13 Mar 12:34:56" with Xs

sed 's/[0-9]\{2\} [A-Za-z]\{3\} [0-9]\{2\}:[0-9]\{2\}:[0-9]\{2\}/XX XXX XX:XX:XX/g'
