Integrated: 1582: /integrate defer should be named /integrate delegate

Zhao Song zsong at
Wed Nov 2 20:03:11 UTC 2022

On Thu, 27 Oct 2022 18:19:06 GMT, Zhao Song <zsong at> wrote:

> In this patch, to make the user has better experience, the command `/integrate defer` has been updated to `/integrate delegate` and the command `/integrate undefer` has been updated to `/integrate undelegate`.
> `/integrate defer` and `/integrate undefer` are still valid. But warning message will be printed when these two commands are used.
> After this patch is merged, the wiki page [/integrate]( should be updated.

This pull request has now been integrated.

Changeset: 5d9dcc24
Author:    Zhao Song <zsong at>
Committer: Erik Joelsson <erikj at>
Stats:     67 lines in 2 files changed: 35 ins; 1 del; 31 mod

1582: /integrate defer should be named /integrate delegate

Reviewed-by: erikj



More information about the skara-dev mailing list