10 Feb
2014
10 Feb
'14
7:35 p.m.
On 10 February 2014 19:09, John Maddock
It does look like a leftover. This change appears to be merged to master, and does show up in the list of commits to master:
https://github.com/boostorg/config/commits/master?page=3
but the file is still there. It should probably be deleted.
Done. Not sure why it wasn't removed by the git merge? That's a little worrying.
It was from before the merge point you created so git considered it already merged. Also, you've deleted 'include/boost/limits.hpp' which is still used.