Update docs/proposal.md

Merged Ondrej Zika requested to merge zika-master-patch-46691 into master

Merge request reports