upstream/0.13.1

Alf Gaida

@agaida-guest

0f49120b · Adding upstream version 0.13.1. · Jun 03, 2018

Tagging upstream version 0.13.1.