Fix hint message for 'data_only_dirs'#5803

Merged

bobot merged 1 commit intoocaml:mainfrom lambdaxdotx:fix/data_only_dirs-hint-message

Jun 7, 2022

+6-3

Commits on Jun 7, 2022

Fix hint message for 'data_only_dirs' that wrongly mentions the unknown constructor 'data_only'.

lambdaxdotx
authored and
bobot
committed