Previously, the default option string was compared to the actual project
option that has been converted to the proper type. This lead to messages
like 'Option x is: true [default: true]'.
Fixes#4806.
pull/4838/head
Nicolas Schneider6 years agocommitted byJussi Pakkanen