Diff eduvpn-common-5.0.1 with a eduvpn-common-5.0.2

Thank you!