💔

Rename "unqueue" command to "dequeue"

Categories
Merge Queue
Date
November 13, 2023

The unqueue command has been renamed to dequeue. The old name still works transparently.

GitHubLinkedInX