/**
     * Draw a release in the list.
     * If the job and changes counts are 0, then assume that the entries for
     * that release weren't in the list and retrieve the counts.
     * @param RELEASE $release
     * @param integer $num_jobs Number of jobs in this release. Can be empty.
     * @param integer $num_changes Number of changes in this release. Can be empty.
     * @access private
     */
    protected function _draw_release($release, $num_jobs, $num_changes)
    {
        if (!$num_changes) {
            $chng_query = $release->change_query();
            $num_changes = $chng_query->size();
        }
        if (!$num_jobs) {
            $job_query = $release->job_query();
            $num_jobs = $job_query->size();
        }
        $t = $release->title_formatter();
        $t->set_name('view_release_change_log.php');
        ?>
  <h2>
    <?php 
        echo $release->title_as_link($t);
        ?>
  </h2>
    <table class="basic columns left-labels">
      <tr>
        <th>Jobs</th>
        <td><?php 
        echo $num_jobs;
        ?>
</td>
      </tr>
      <tr>
        <th>Changes</th>
        <td><?php 
        echo $num_changes;
        ?>
</td>
      </tr>
      <tr>
        <th></th>
        <td>
          <?php 
        $status = $release->status();
        echo $status->as_html();
        ?>
        </td>
      </tr>
    </table>
<?php 
        if ($this->show_description) {
            $munger = $release->html_formatter();
            $desc = $release->description_as_html($munger);
            if ($desc) {
                ?>
      <div class="text-flow">
        <?php 
                echo $desc;
                ?>
      </div>
      <?php 
            }
        }
        if ($this->show_user || $this->show_date) {
            $t = $release->time_created->formatter();
            $t->type = Date_time_format_date_and_time;
            $creator = $release->creator();
            ?>
    <p class="info-box-bottom">
      Created
    <?php 
            if ($this->show_user) {
                ?>
      by <?php 
                echo $creator->title_as_link();
                ?>
    <?php 
            }
            if ($this->show_date) {
                ?>
        on
        <?php 
                echo $release->time_created->format($t);
            }
            ?>
    </p>
<?php 
        }
    }