On Tue, 21 Apr 2015, Jakub Jelinek wrote: >> I added this to our extensions page at https://gcc.gnu.org/extensions.html >> per the patch below. > Shouldn't we also list the GCC Python Plugin on that page?
Yes, absolutely! David, want to suggest a patch? Or just some wording and a link and I'll take care. Gerald
