Do a merge -s ours of 1.3 plugin version change.

Authored by nalvarez on Jan 4 2012, 9:24 PM.

Description

Do a merge -s ours of 1.3 plugin version change.

The plugin version was already changed (differently) in master,
but we need to let git think the 1.3 commit was merged
to avoid conflicts later.

Merged Changes

CommitAuthorDetailsCommitted
28bac3de1de8mwolff
set plugin version to 13 in preparation of 4.3 release 
Jan 4 2012

Empty Commit

This commit is empty and does not affect any paths.