You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Back in 2014 I made some error reporting changes in 25333a2 (#3986), to do with reporting the exact boost library that was not being found. These were recently (unintentionally, I assume) removed in aa85dcf (#13095) by @fanquake.
I'm not sure how much of a problem this is, but wanted to create an issue nevertheless because these this error still gets reported all the time and for troubleshooting it was useful: #3219 (comment) .
If people feel this is worth it it'd be trivial to re-do the change.