X Tutup
Skip to content

Merged changes to master (concerning Pharo 7) into dev branch#64

Merged
jbrichau merged 1 commit intodevfrom
master-to-dev
Jul 26, 2018
Merged

Merged changes to master (concerning Pharo 7) into dev branch#64
jbrichau merged 1 commit intodevfrom
master-to-dev

Conversation

@jbrichau
Copy link
Member

No description provided.

@jbrichau jbrichau merged commit 19077c8 into dev Jul 26, 2018
@jbrichau jbrichau deleted the master-to-dev branch July 26, 2018 09:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

X Tutup