Skip to content

Rename DNE -> DoesNotExist#42

Merged
oxinabox merged 2 commits intomasterfrom
npr/rename-dne-doesnotexit
Oct 28, 2019
Merged

Rename DNE -> DoesNotExist#42
oxinabox merged 2 commits intomasterfrom
npr/rename-dne-doesnotexit

Conversation

@nickrobinson251
Copy link
Contributor

@nickrobinson251 nickrobinson251 commented Aug 30, 2019

@nickrobinson251
Copy link
Contributor Author

partner JuliaDiff/ChainRules.jl#94

@nickrobinson251
Copy link
Contributor Author

I am not 100% sure we want this
Depends a bit on other plans e.g. #39
And even if we want it, we may not want it right now

But for consideration :)

@nickrobinson251 nickrobinson251 force-pushed the npr/rename-dne-doesnotexit branch from b31c818 to 06dbcf9 Compare September 17, 2019 21:54
@nickrobinson251
Copy link
Contributor Author

rebased after #30 is in :)

@oxinabox
Copy link
Member

oxinabox commented Sep 17, 2019

I want to think about this a little more.
I will draw some math at breakfast.

Had a talk about this today

@oxinabox
Copy link
Member

Set version to 0.4-DEV

@oxinabox
Copy link
Member

This should use deprecate binding

@nickrobinson251 nickrobinson251 force-pushed the npr/rename-dne-doesnotexit branch from 67085be to efb9c19 Compare October 25, 2019 17:53
@nickrobinson251
Copy link
Contributor Author

bump :)

@oxinabox oxinabox merged commit 636f0f1 into master Oct 28, 2019
@oxinabox oxinabox mentioned this pull request Nov 28, 2019
@YingboMa YingboMa deleted the npr/rename-dne-doesnotexit branch December 24, 2019 19:25
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.

Rename DNE -> DoesNotExist

2 participants