Release of new version 0.9.12
Strict comparison for remote, in case a remote is named "0"...