Eugene> This is not needed anymore. Please, remove this.

Done and also pushed out in the new git tree.

 - R.

Reply via email to