This repository was archived by the owner on Dec 16, 2022. It is now read-only.

Improve message completion#539

Open

nicolashohm wants to merge 2 commits intoerming:masterfrom

nicolashohm:master

Commits on Nov 14, 2015