[Bug bootstrap/39968] Should plugins use shared library?

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39968

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |FIXED

--- Comment #12 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Any point to keep this four year old PR open?

No answer since two months, closing as fixed.
Please open a new PR for plugin problems.