From 7318b5b65a2831b6cc6e87b51b6dcedc5a946c78 Mon Sep 17 00:00:00 2001
From: Chris Young <chris@unsatisfactorysoftware.co.uk>
Date: Sun, 11 Dec 2016 16:47:14 +0000
Subject: RISC OS: Free nsoptions

---
 frontends/riscos/gui.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c
index 7e508a8cf..92268e3b8 100644
--- a/frontends/riscos/gui.c
+++ b/frontends/riscos/gui.c
@@ -2525,6 +2525,7 @@ int main(int argc, char** argv)
 	}
 
 	netsurf_exit();
+	nsoption_finalise(nsoptions, nsoptions_default);
 
 	return 0;
 }
-- 
cgit v1.2.3