Peter Dimov bccb9eaa73 Update another g++ 7.1 workaround to 7.2

2017-08-26 11:12:54 +03:00

..

mp11

Update another g++ 7.1 workaround to 7.2

2017-08-26 11:12:54 +03:00

mp11.hpp

Do not include mpl.hpp in mp11.hpp

2017-07-20 19:16:41 +03:00