Skip to content

Julia Package Butler Updates#52

Merged
davidanthoff merged 1 commit intomasterfrom
julia-pkgbutler-updates
Aug 5, 2020
Merged

Julia Package Butler Updates#52
davidanthoff merged 1 commit intomasterfrom
julia-pkgbutler-updates

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Aug 3, 2020

The Julia Package Butler suggests these changes.

@davidanthoff davidanthoff force-pushed the julia-pkgbutler-updates branch 30 times, most recently from ce6e1de to a0013bd Compare August 4, 2020 02:20
@davidanthoff davidanthoff force-pushed the julia-pkgbutler-updates branch 26 times, most recently from e5890e8 to 143665d Compare August 5, 2020 17:11
@davidanthoff davidanthoff force-pushed the julia-pkgbutler-updates branch from 143665d to 224d47c Compare August 5, 2020 17:16
@davidanthoff davidanthoff merged commit acf3f6e into master Aug 5, 2020
@davidanthoff davidanthoff deleted the julia-pkgbutler-updates branch August 5, 2020 17:19
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