-
FichteFoll authored
Practically this doesn't make much of a difference since these two methods will hardly be defined, but technically this is more correct.
bea2d499
Practically this doesn't make much of a difference since these two methods will hardly be defined, but technically this is more correct.