<?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.