julia
4c0e1efa - Merge pull request #13826 from stevengj/isempty_cleanups

Commit

10 years ago

Merge pull request #13826 from stevengj/isempty_cleanups cleanups of some isempty calls from #13821

Author

vtjnash

Parents