<?php

/**
 * @file
 * Update functions for the HAL module.
 */

/**
 * Implements hook_update_last_removed().
 */
function hal_update_last_removed() {
  return 8501;
}