bug-make
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #60378] Avoid duplicates in default_include_directories.

From: Paul D. Smith
Subject: [bug #60378] Avoid duplicates in default_include_directories.
Date: Sat, 17 Apr 2021 18:01:13 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/89.0.4389.114 Safari/537.36 
Update of bug #60378 (project make):

                  Status:                    None => Fixed                  
             Assigned to:                    None => psmith                 
             Open/Closed:                    Open => Closed                 
           Fixed Release:                    None => SCM                    
           Triage Status:                    None => Small Effort           

    _______________________________________________________

Follow-up Comment #2:

I applied this change, lightly edited.  I'll push it to Git shortly.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60378>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]