Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #492 from okurz/fix/user_info
Delete too forgiving 'inst-userinfostyped-20180208' replaced by inst-userinfostyped-99p_match-20190103
- Loading branch information