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

OrientDB 1.7.10 #34354

Closed
wants to merge 1 commit into from
Closed

Conversation

MartinSeeler
Copy link
Contributor

No description provided.

@DomT4
Copy link
Member

DomT4 commented Nov 20, 2014

Just so you know, you can do the stable and devel build bumps in one PR. No need to separate :). Don't worry about it too much this time around, this one and #34352 should be fine to go in together. Just less work for you in future if you PR again 😺

@jacknagel jacknagel closed this in a87befd Nov 21, 2014
@MartinSeeler
Copy link
Contributor Author

I was waiting for the m3 release and just saw the new stable after the first PR, but thanks for the hint :-)

@Homebrew Homebrew locked and limited conversation to collaborators Feb 17, 2016
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