On Tue, Jan 31, 2017 at 03:29:55PM +0100, Bastiaan Jacques wrote: > Your proposed change looks good to me.
Thanks, pushed as commit e90fc76cd653c5ecb481d845ae07c96715412443 --strk; _______________________________________________ Gnash-dev mailing list Gnash-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnash-dev