julia
fix typo in Timer deprecation
#25867
Merged

fix typo in Timer deprecation #25867

StefanKarpinski merged 1 commit into master from sgj/Timer-deprecation
stevengj
stevengj fix typo in Timer deprecation
bb794ea5
stevengj stevengj added bugfix
stevengj stevengj added deprecation
ararslan
ararslan approved these changes on 2018-02-03
StefanKarpinski StefanKarpinski merged 3383cef6 into master 8 years ago
StefanKarpinski StefanKarpinski deleted the sgj/Timer-deprecation branch 8 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone