Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-31936

Simplify deinit_spider.inc

Details

    Description

      Noticed this while working on another ticket.

      After MDEV-31421, we can further simplify this file.

      Attachments

        Activity

          Transition Time In Source Status Execution Times
          Yuchen Pei made transition -
          Open In Progress
          		29d 5h 11m 1
          Yuchen Pei made transition -
          In Progress In Review
          		23s 1
          Alexey Botchkov made transition -
          In Review Stalled
          		6d 5h 8m 1
          Yuchen Pei made transition -
          Stalled Closed
          		3d 15h 59m 1

          People

            ycp Yuchen Pei
            ycp Yuchen Pei
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Git Integration

                Error rendering 'com.xiplink.jira.git.jira_git_plugin:git-issue-webpanel'. Please contact your Jira administrators.