PR #25162 a more earnest attempt at renaming Void

a more earnest attempt at renaming Void #25162

StefanKarpinski merged 3 commits into master from sk/voider

ararslan added deprecation

StefanKarpinski force pushed from d20461c1 to 418ed7c0 8 years ago

StefanKarpinski force pushed from 418ed7c0 to eccd466f 8 years ago

StefanKarpinski force pushed from eccd466f to 7cb77f03 8 years ago

const Cvoid = Void

84ce70b5

rename Void => Cvoid, Nothing (depending on usage)

e5fa92b8

NEWS and deprecation for Void => Nothing rename

0f4d5db1

StefanKarpinski force pushed from 7cb77f03 to 0f4d5db1 8 years ago

StefanKarpinski merged 555264e1 into master 8 years ago

StefanKarpinski deleted the sk/voider branch 8 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

deprecation

Milestone

No milestone