Labels

• bug

  One of the auto-generated plugins isn't working.
• duplicate

  This issue or pull request already exists.
• mission.helper

  A mission.helper generation request for a specific plugin.
• PR-to-plugin

  A plugin generation request for an Endless Sky pull request.
• ship.merging

  A ship.merging generation request for a specific plugin.