Version 2.0.13 (bug fix) release

Corrects an important issue with PR refreshing