ref: 339329449f4db72e4754f21c14295303ffe0ea5d
parent: 0b93de904a98f119b1a95d3a53029f1ed4bfb9b3
author: Simon Tatham <anakin@pobox.com>
date: Sat Apr 13 06:37:27 EDT 2013
Fix a memory management bug in Filling: in some situations its solve_game() was returning its aux parameter un-dupstr()ed, which is wrong. Also clarified the developer docs on that function to make it clearer that the returned string should be dynamic. [originally from svn r9831]