lint: remove boost::bind lint #24785

1. 
   fanquake commented at 1:11 pm on April 6, 2022: member

   I don’t think we need to maintain a linter for reintroducing boost::bind at this point.
2. lint: remove boost::bind linter

   I don't think we need to maintain a linter for reintroducing boost::bind
   at this point.

   4105a54381
3. fanquake added the label Tests on Apr 6, 2022
4. hebasto approved
5. 
   hebasto commented at 1:18 pm on April 6, 2022: member

   ACK 4105a543817c47bda21739d5ad3269677f84e861, I have reviewed the code and it looks OK, I agree it can be merged.

   The boost/bind/bind.hpp header is even not allowed by lint-includes.sh.

6. MarcoFalke merged this on Apr 6, 2022
7. MarcoFalke closed this on Apr 6, 2022

   ---

8. fanquake deleted the branch on Apr 6, 2022
9. sidhujag referenced this in commit 9642b7b2ce on Apr 6, 2022
10. PastaPastaPasta referenced this in commit dc4a2ec7fa on Apr 7, 2022
11. PastaPastaPasta referenced this in commit 5e2d4d5c19 on Apr 7, 2022
12. UdjinM6 referenced this in commit 671d3ec1cf on Apr 7, 2022
13. DrahtBot locked this on Apr 6, 2023

Contributors
fanquake hebasto

Labels
Tests