Re: [PATCH] gnu: doxygen: Use sh from the store.

[Thomas Danckaert]

From: Danny Milosavljevic <address@hidden>
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