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

[Dave Johansen]

On Thu, Jan 10, 2013 at 7:22 AM, Boris Kolpackov <boris at codesynthesis.com>wrote:

> 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
>
>
Great! Thanks for updating the wiki and I'll look into submitting a patch
for the documentation.
Dave