[odb-users] Mention of version when plugin support was added?

[Boris Kolpackov]

Hi Dave,

Dave Johansen <davejohansen at gmail.com> writes:

> http://gcc.gnu.org/wiki/plugins

I've added a note to this page.


> http://gcc.gnu.org/onlinedocs/gccint/Plugins.html

This is part of the GCC documentation so you will need to submit
a patch to the GCC mailing list if you want to add a note there.

Boris