v8.1.0515
ded5f1be · patch 8.1.0515: reloading a script gives errors for existing functions ·