-
Brad King authored
It is removed by C++17. It only defines some typedef members for derived functionals. We don't use those, so just drop it.
09724ac8
A GitLab update will be applied on April 24th, between 8am and 10am, EST (UTC-05:00). This site may have intermittent delays during that time.
It is removed by C++17. It only defines some typedef members for derived functionals. We don't use those, so just drop it.