This repository was archived by the owner on Mar 25, 2018. It is now read-only.

Port revision 6934 (plus fix from 6935) and refactoring in revision 6…