<?php

// Once, this migration deleted some unnecessary rows written by Herald before
// January 2012. These rows don't hurt anything, they just cluttered up the
// database a bit.

// The migration was removed in January 2018 to make maintenance on rule
// repetition policies easier.