[gnutls-devel] [sr #108724] Configure option to avoid building tools

[Nikos Mavrogiannopoulos]

Update of sr #108724 (project gnutls):

                  Status:                    None => Done                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #15:

Thanks, applied in master.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108724>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/