Skip to content
This repository has been archived by the owner on Dec 27, 2023. It is now read-only.

Merge pull request #1 from tine20/master #5

Closed
wants to merge 1 commit into from
Closed

Merge pull request #1 from tine20/master #5

wants to merge 1 commit into from

Conversation

lab-at-nohl
Copy link
Member

Sync tine20 after 2015.07.7

Sync tine20 after 2015.07.5
@lab-at-nohl lab-at-nohl reopened this Jan 12, 2016
@ingoratsdorf
Copy link
Contributor

Zero files changed? Looks like your request is empty.

@lab-at-nohl
Copy link
Member Author

@ingoratsdorf Yes, this was a mistake. Wanted to sync my devel fork from your current master. The "git language" was misleading, in what world is "base:" the target of a synchronization :-/

This was referenced Jun 8, 2018
@mokraemer mokraemer mentioned this pull request Oct 1, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants