[gnome-builder] Created branch 00-BUG-section-priorities-MASTER



The branch '00-BUG-section-priorities-MASTER' was created.

Summary of new commits:

  cd09b43... set small priority for devhelp hover provider


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]