From: Danny Milosavljevic <dan...@scratchpost.org> Subject: Re: [PATCH] gnu: doxygen: Use sh from the store. Date: Tue, 3 Jan 2017 13:28:37 +0100
Thanks for the patch! Looks good to me.
I think this patch wasn't applied yet (or I missed it?). Is it OK for staging or core-updates? (There are a lot of dependent packages.)
Thomas
