[std/final.hh] Remove, deprecated in 2.6.

Intend to merge: 2018-04-25

added 32 commits

• 6fed8100...05826052 - 31 commits from branch master
• b71de615 - Merge branch 'master' into 'remove-deprecated-std-final-hh'

Compare with previous version

enabled an automatic merge when the pipeline for b71de615 succeeds

merged

mentioned in commit b0e81e0a