Skip to content

Conversation

dscho
Copy link
Member

@dscho dscho commented Mar 5, 2019

As suggested by Jeff King in a nearby thread.

Suggested by Jeff King.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
@dscho
Copy link
Member Author

dscho commented Mar 5, 2019

/submit

@gitgitgadget
Copy link

gitgitgadget bot commented Mar 5, 2019

Submitted as pull.157.git.gitgitgadget@gmail.com

@gitgitgadget

This comment has been minimized.

@gitgitgadget

This comment has been minimized.

@gitgitgadget

This comment has been minimized.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 12, 2019

This branch is now known as js/remote-curl-i18n.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 12, 2019

This patch series was integrated into pu via git@e03b152.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 12, 2019

This patch series was integrated into next via git@4814acf.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 16, 2019

This patch series was integrated into pu via git@aa1edf1.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 16, 2019

This patch series was integrated into next via git@aa1edf1.

@gitgitgadget
Copy link

gitgitgadget bot commented Apr 16, 2019

This patch series was integrated into master via git@aa1edf1.

@gitgitgadget gitgitgadget bot added the master label Apr 16, 2019
@gitgitgadget gitgitgadget bot closed this Apr 16, 2019
@gitgitgadget
Copy link

gitgitgadget bot commented Apr 16, 2019

Closed via aa1edf1.

@dscho dscho deleted the l10n-remote-curl-diag branch April 17, 2019 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant