point release 0.13.3
Merge pull request #4150 from seanchannel/develop

please only merge if/when 0.13.3 is really pending