Patch for Bug #

Patch version

Obsoleted by patches:

'; foreach ($obsoletedby as $betterpatch) { echo '
• ', htmlspecialchars($betterpatch['patch']), ', revision ', format_date($betterpatch['revision']), '
'; } echo '

Obsolete patches:

'; foreach ($obsoletes as $betterpatch) { echo '
• ', htmlspecialchars($betterpatch['obsolete_patch']), ', revision ', format_date($betterpatch['obsolete_revision']), '
'; } echo '

Developer: