Don't fail clients for whitespace after a value - #16

Don't fail clients for whitespace after a value#16

bbatsov merged 1 commit into

mainnrepl/proof:mainfrom

value-whitespacenrepl/proof:value-whitespaceCopy head branch name to clipboard