diff options
-rw-r--r-- | decisions/decisions.but | 2 | ||||
-rw-r--r-- | decisions/decisions.mlf | 20 | ||||
-rw-r--r-- | decisions/decisions.mls | 20 | ||||
-rw-r--r-- | decisions/decisions.mlt | 20 | ||||
-rw-r--r-- | decisions/decisions.tex | 6 | ||||
-rw-r--r-- | decisions/summary-20151011.tex | 87 | ||||
-rw-r--r-- | decisions/summary-20151018.tex | 35 | ||||
-rw-r--r-- | decisions/summary-20151025.tex | 80 |
8 files changed, 269 insertions, 1 deletions
diff --git a/decisions/decisions.but b/decisions/decisions.but index 9a8a124..c4b6928 100644 --- a/decisions/decisions.but +++ b/decisions/decisions.but @@ -144,6 +144,8 @@ GLEP 27 needs to be implemented (Portage Management of UIDs/GIDs) Please stop removing last stable media-libs/libsdl 550940 Please provide a way to track *all* project members +560466 +Behaviour of asterisk with = dependency operator is ill-defined 565566 New ChangeLogs are in chronological order 565700 diff --git a/decisions/decisions.mlf b/decisions/decisions.mlf index be57e13..b8aeb65 100644 --- a/decisions/decisions.mlf +++ b/decisions/decisions.mlf @@ -12,10 +12,16 @@ Ulrich Mueller Roy Bamford 14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project Ulrich Mueller +16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project +Rich Freeman +179d5d298333dfeef45a6eb78f0d6f17:gentoo-project +Michał Górny 1c2224a5a468ff854e73fc60d25f7dce:gentoo-project Michał Górny 1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project Raymond Jennings +2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project +Michał Górny 217c67d53b7d8240ff9fecabd29f8303:gentoo-pms Ulrich Mueller 280f7cb2193f8f3302a556d70d75ac47:gentoo-project @@ -30,6 +36,8 @@ Denis Dupeyron Ulrich Mueller 3a441be5e49cc06689ecab00da461278:gentoo-pms Ulrich Mueller +3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project +Robin H. Johnson 3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project Dirkjan Ochtman 402eb403e0f451e7bc0525b76e9d3da2:gentoo-project @@ -40,6 +48,8 @@ Michał Górny Chris Reffett 474fc6822dba50ccc6192c9f31d8024a:gentoo-project Patrick Lauer +4929c54fc37dee78cdff606d4d9cb030:gentoo-project +Michał Górny 49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project Pacho Ramos 4a88db38253494c6612a29117b2b19c8:gentoo-project @@ -66,6 +76,8 @@ Denis Dupeyron Robin H. Johnson 6523793dd018ea42b4d28e97f8d1b731:gentoo-council Thomas Anderson +65abf95ef1ea05a1aa3bc716be386a64:gentoo-project +Ulrich Mueller 68a870c0519fb1cb7152db38fc9d4935:gentoo-dev Michał Górny 6904e810caedf66d889458e6fd1cc552:gentoo-dev @@ -74,6 +86,8 @@ Ulrich Mueller Michał Górny 6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project Michael Palimaka +70451197c3109e61ddd27e14a7bf89fa:gentoo-project +Andreas K. Huettel 70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project Kristian Fiskerstrand 71c67cdf620f262b4f94765360c8c8c2:gentoo-project @@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project Michał Górny a76eda0997a21e14d6a548e04590191b:gentoo-dev Pacho Ramos +a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project +Rich Freeman a9492947c953dc48f74c825d8704ffc0:gentoo-dev Michał Górny aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev @@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project Ulrich Mueller b59d8abb15e148b71d6e50180a2a27a7:gentoo-project Patrick Lauer +b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project +Manuel Rüger b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project Pacho Ramos b9460b9c8d578c3498c217c17b75afd4:gentoo-dev @@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms Ulrich Mueller effdb2474965825fdfc06d0276e3318d:gentoo-project Michał Górny +f595f9fef4bce02c875e980ec5d21841:gentoo-project +Michał Górny f78e316074897a604842fe13d2860be6:gentoo-project Ulrich Mueller fa05f5319ef4255d3e3fe34da79a2534:gentoo-project diff --git a/decisions/decisions.mls b/decisions/decisions.mls index a6f7d12..f437379 100644 --- a/decisions/decisions.mls +++ b/decisions/decisions.mls @@ -12,10 +12,16 @@ Re: [gentoo-project] Call for agenda items - Council meeting 2017-02-12 Re: [gentoo-project] Call for agenda items -- Council meeting 2012-05-08 14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-02-25 +16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 +179d5d298333dfeef45a6eb78f0d6f17:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 1c2224a5a468ff854e73fc60d25f7dce:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-04-08 1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2016-11-13 +2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 217c67d53b7d8240ff9fecabd29f8303:gentoo-pms [gentoo-pms] Re: [gentoo-dev] [RFC] Shall econf append its arguments to end of ./configure invocation? 280f7cb2193f8f3302a556d70d75ac47:gentoo-project @@ -30,6 +36,8 @@ Re: [gentoo-project] Council meeting 2015-03-10: call for agenda items Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11 3a441be5e49cc06689ecab00da461278:gentoo-pms Re: [gentoo-pms] EAPI specification in ebuilds +3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project +[gentoo-project] Project membership vs being on a mail alias: pitfalls and problems 3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14 402eb403e0f451e7bc0525b76e9d3da2:gentoo-project @@ -40,6 +48,8 @@ Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14 Re: [gentoo-project] Call for agenda items - Council meeting 2014-04-08 474fc6822dba50ccc6192c9f31d8024a:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11 +4929c54fc37dee78cdff606d4d9cb030:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project Re: [gentoo-project] Council meeting 2015-03-10: call for agenda items 4a88db38253494c6612a29117b2b19c8:gentoo-project @@ -66,6 +76,8 @@ Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-01-10 [gentoo-dev-announce] rsync.gentoo.org rsync modules: gentoo-repo-changelog added, gentoo-x86-portage & gentoo-sec discontinued. 6523793dd018ea42b4d28e97f8d1b731:gentoo-council [gentoo-council] Preliminary summary for meeting on June 25, 2009 +65abf95ef1ea05a1aa3bc716be386a64:gentoo-project +[gentoo-project] Re: Call for Agenda Items -- Council Meeting 2015-10-11 68a870c0519fb1cb7152db38fc9d4935:gentoo-dev Re: [gentoo-dev] Council Council: call for agenda items for June 12 meeting 6904e810caedf66d889458e6fd1cc552:gentoo-dev @@ -74,6 +86,8 @@ Re: [gentoo-dev] News item: Python ABIFLAGS rebuild needed Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14 6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project [gentoo-project] Re: Call for agenda items - Council meeting 2014-08-12 +70451197c3109e61ddd27e14a7bf89fa:gentoo-project +Re: Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project Ongoing stabilization discussion (Re: [gentoo-project] Council meeting 2016-11-13) 71c67cdf620f262b4f94765360c8c8c2:gentoo-project @@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2016-04-10 a76eda0997a21e14d6a548e04590191b:gentoo-dev [gentoo-dev] About reducing or even removing stable tree for some arches +a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 a9492947c953dc48f74c825d8704ffc0:gentoo-dev [gentoo-dev] Getting EAPI 5 *use.stable.mask to work in gx86? aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev @@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-02-25 b59d8abb15e148b71d6e50180a2a27a7:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11 +b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project Re: [gentoo-project] Call for agenda items - Council meeting 2014-08-12 b9460b9c8d578c3498c217c17b75afd4:gentoo-dev @@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms [gentoo-pms] EAPI specification in ebuilds effdb2474965825fdfc06d0276e3318d:gentoo-project Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-12-13 +f595f9fef4bce02c875e980ec5d21841:gentoo-project +Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11 f78e316074897a604842fe13d2860be6:gentoo-project [gentoo-project] Re: Call for Agenda Items -- Council Meeting 2015-11-08 fa05f5319ef4255d3e3fe34da79a2534:gentoo-project diff --git a/decisions/decisions.mlt b/decisions/decisions.mlt index dd7f0af..94029d9 100644 --- a/decisions/decisions.mlt +++ b/decisions/decisions.mlt @@ -12,10 +12,16 @@ Sat, 30 Aug 2014 12:54:50 Thu, 26 Apr 2012 21:04:34 14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project Mon, 10 Feb 2014 15:39:25 +16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project +Thu, 01 Oct 2015 12:32:05 +179d5d298333dfeef45a6eb78f0d6f17:gentoo-project +Wed, 30 Sep 2015 18:15:59 1c2224a5a468ff854e73fc60d25f7dce:gentoo-project Sun, 30 Mar 2014 08:33:53 1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project Sun, 30 Oct 2016 21:23:42 +2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project +Sun, 04 Oct 2015 11:14:08 217c67d53b7d8240ff9fecabd29f8303:gentoo-pms Tue, 30 Apr 2013 17:04:05 280f7cb2193f8f3302a556d70d75ac47:gentoo-project @@ -30,6 +36,8 @@ Fri, 14 May 2010 22:45:30 Mon, 03 Mar 2014 11:14:22 3a441be5e49cc06689ecab00da461278:gentoo-pms Thu, 12 Apr 2012 11:56:22 +3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project +Fri, 02 Oct 2015 00:57:39 3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project Tue, 02 Feb 2016 08:07:00 402eb403e0f451e7bc0525b76e9d3da2:gentoo-project @@ -40,6 +48,8 @@ Tue, 31 May 2016 12:49:45 Mon, 07 Apr 2014 16:37:09 474fc6822dba50ccc6192c9f31d8024a:gentoo-project Fri, 28 Feb 2014 11:15:52 +4929c54fc37dee78cdff606d4d9cb030:gentoo-project +Wed, 30 Sep 2015 18:45:23 49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project Sat, 07 Mar 2015 10:32:46 4a88db38253494c6612a29117b2b19c8:gentoo-project @@ -66,6 +76,8 @@ Sun, 18 Apr 2010 00:37:04 Sun, 30 Oct 2016 02:55:09 6523793dd018ea42b4d28e97f8d1b731:gentoo-council Fri, 17 Jul 2009 21:49:43 +65abf95ef1ea05a1aa3bc716be386a64:gentoo-project +Wed, 30 Sep 2015 18:43:57 68a870c0519fb1cb7152db38fc9d4935:gentoo-dev Fri, 03 Jun 2016 14:06:45 6904e810caedf66d889458e6fd1cc552:gentoo-dev @@ -74,6 +86,8 @@ Fri, 11 Dec 2015 23:48:15 Fri, 12 Feb 2016 22:22:24 6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project Thu, 31 Jul 2014 14:40:50 +70451197c3109e61ddd27e14a7bf89fa:gentoo-project +Fri, 02 Oct 2015 14:44:16 70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project Mon, 07 Nov 2016 12:14:58 71c67cdf620f262b4f94765360c8c8c2:gentoo-project @@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project Sun, 27 Mar 2016 21:14:06 a76eda0997a21e14d6a548e04590191b:gentoo-dev Mon, 16 Feb 2015 13:35:05 +a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project +Wed, 30 Sep 2015 19:12:04 a9492947c953dc48f74c825d8704ffc0:gentoo-dev Mon, 10 Dec 2012 21:28:37 aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev @@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project Thu, 20 Feb 2014 09:40:21 b59d8abb15e148b71d6e50180a2a27a7:gentoo-project Fri, 28 Feb 2014 23:47:39 +b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project +Wed, 30 Sep 2015 20:25:20 b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project Tue, 29 Jul 2014 12:06:28 b9460b9c8d578c3498c217c17b75afd4:gentoo-dev @@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms Fri, 06 Apr 2012 07:40:32 effdb2474965825fdfc06d0276e3318d:gentoo-project Mon, 30 Nov 2015 16:20:46 +f595f9fef4bce02c875e980ec5d21841:gentoo-project +Mon, 05 Oct 2015 05:48:24 f78e316074897a604842fe13d2860be6:gentoo-project Sun, 25 Oct 2015 22:14:57 fa05f5319ef4255d3e3fe34da79a2534:gentoo-project diff --git a/decisions/decisions.tex b/decisions/decisions.tex index 4acdda3..47948b7 100644 --- a/decisions/decisions.tex +++ b/decisions/decisions.tex @@ -217,10 +217,14 @@ All summaries have been added here. Council members: blueness, dilfridge, jlec, k_f, rich0, ulm, williamh +All summaries have been added here. + \include{summary-20150727} \include{summary-20150809} \include{summary-20150913} - +\include{summary-20151011} +\include{summary-20151018} +\include{summary-20151025} \include{summary-20151108} \include{summary-20151213} \include{summary-20160110} diff --git a/decisions/summary-20151011.tex b/decisions/summary-20151011.tex new file mode 100644 index 0000000..e9ea77d --- /dev/null +++ b/decisions/summary-20151011.tex @@ -0,0 +1,87 @@ + +\summary{2015}{10}{11} + +\agendaitem{EAPI 4 deprecation} +\index{EAPI!4!deprecation}\index{EAPI!4} + +Reference: \agoref{gentoo-project}{b5b7aa83ddd64fdfa84284c1ceddcec6} + +By unanimous agreement EAPI 4 is declared deprecated. + + +\agendaitem{Behaviour of asterisk with = dependency operator} +\index{= dependencies}\index{PMS} + +References: +\begin{itemize} + \item + \agoref{gentoo-project}{65abf95ef1ea05a1aa3bc716be386a64} + \item + \bug{560466} + \item +\url{ +https://gitweb.gentoo.org/proj/portage.git/commit/?id=d4966a381ee4577818bd972946 +647338046715b1} +\end{itemize} + +By unanimous vote, the proposed PMS modification is introduced +retroactively for all EAPIs. + +By the current description of the * operator in PMS, a dependency +cat/foo-1.2* matches cat/foo-1.2, cat/foo-1.2.1, etc. but it also +matches cat/foo-1.20. The definition in PMS is updated such that +version components cannot be split when matching (i.e. 1.2* would not +match 1.20). + + +\agendaitem{Runtime dependencies and dynamic dependency deprecation} +\index{dynamic dependencies} + +References: +\begin{itemize} + \item + \agoref{gentoo-project}{a8b5b499b9dbfdaea57a8f2a158c1fe7} + \item + http://article.gmane.org/gmane.linux.gentoo.devel/97742 (dead link) + \item + http://thread.gmane.org/gmane.linux.gentoo.devel/97428/focus=97742 (dead link) +\end{itemize} + +\vote{Maintainers must not assume that dynamic dependencies will be applied +by the package manager. When changing runtime dependencies the +maintainer should revision the ebuild if the changes are likely to +cause problems for end users.}{Accepted unanimous.} + +The details, in particular the explicit rules proposed by rich0 on the +gentoo-devel mailing list, were referred back to the list for further +discussion and should eventually become recommendations. Further +decisions on policies may also be up to the QA team. + + +\agendaitem{Games policies} +\index{games!policies}\index{games!group}\index{games!install path} + +Reference: \agoref{gentoo-project}{16fc54d2bced9ff51b71d387eb0fb36b} + +After some discussion on the details of FHS, the merit of separate +users and directories for games and our Gentoo directory structure, +the following votes as proposed by rich0 were taken: + +\vote{Decide that games should not be owned by a games group, and that +in the default configuration users should not have to be in the games +group to run games.}{ +Motion accepted with 6 yes and 1 abstention} + +\vote{Games should be installed in /usr and not /usr/games as with most +applications}{ +Motion not passed, 2 yes, 2 no and 3 abstentions} + + +\agendaitem{Games bugzilla component} +\index{bugzilla}\index{games!bugzilla component} + +Reference: \agoref{gentoo-project}{2175a9dde8a1fb614ccb75c60c43c8c8} + +By unanimous vote the 'Games" component of bugzilla will be assigned +by default to bug wranglers instead of the games team. + diff --git a/decisions/summary-20151018.tex b/decisions/summary-20151018.tex new file mode 100644 index 0000000..eea523b --- /dev/null +++ b/decisions/summary-20151018.tex @@ -0,0 +1,35 @@ + +\summary{2015}{10}{18} + + +\agendaitem{Github and attitudes} +\index{github} + +Reference: \agoref{gentoo-project}{4929c54fc37dee78cdff606d4d9cb030} + +A lengthy discussion touching diverse topics ensued. In the end the +following resolution was accepted with 4 yes votes, 0 no, 0 +abstentions, and 1 lack of response: + +\vote{The Gentoo council encourages contributions to Gentoo via manyfold +ways. However, it also recognizes that the usage of Github, being a +closed-source service, poses the danger of data lock-in and should not +be preferred. The question has been posed whether the current usage of +Github is in line with the Gentoo social contract- a question still +open to interpretation. +With this background the council asks for implementation of +\begin{itemize} + \item + the two-way mirroring of Github pull requests to bugzilla (including + comments and patches) + \item + the public archiving of Github repository e-mail notifications + \item + and the mirroring of Github pull request git branches on Gentoo + infrastructure +\end{itemize} +or functionally equivalent alternatives. The council believes that +this should suffice for all developers to dispell doubts about +adherence to the Gentoo social contract.}{4 yes votes, 0 no, 0 +abstentions, and 1 lack of response} + diff --git a/decisions/summary-20151025.tex b/decisions/summary-20151025.tex new file mode 100644 index 0000000..488a18f --- /dev/null +++ b/decisions/summary-20151025.tex @@ -0,0 +1,80 @@ + +\summary{2015}{10}{25} + + +\agendaitem{Projects, herds, etc.} +\index{herds}\index{project identification}\index{metadata.xml} + +References: +\begin{itemize} +\item +\agoref{gentoo-project}{179d5d298333dfeef45a6eb78f0d6f17} +\item +\agoref{gentoo-project}{70451197c3109e61ddd27e14a7bf89fa} +\item +\agoref{gentoo-project}{3cf270a336636b94187b2a2b8f1b7e7f} +\item +\agoref{gentoo-project}{f595f9fef4bce02c875e980ec5d21841} +\end{itemize} + +A lengthy discussion on the merits of deprecating herds and on how to +precisely do that resulted. The suggestion to use GUIDs for project +identification was dismissed as slightly impractical, even though they +provide for a near-unlimited number of projects. + +\vote{A: The concept of "herds" is abandoned, and the usage of the term +deprecated. As a replacement, a package may be maintained by a +project.}{ +7 yes, unanimous} + +\vote{B: do we want +\begin{enumerate}[label=\alph*)] +\item "$<$project$>$bla$<$/project$>$" or +\item "$<$maintainer$><$project$>$bla$<$/project$><$/maintainer$>$" or +\item "$<$maintainer type="project"$>$bla$<$/maintainer$>$" or +\item "$<$maintainer$><$email$>$bla@gentoo.org$<$/email$><$/maintainer$>$" ? +\end{enumerate} +}{ +3x a, 2x c, 2x d} + +This led to a discussion on the meaning of the vote outcome, and it +was decided to re-formulate the question into several votes. + +\vote{C: New $<$project$>$ tag, or add something to existing $<$maintainer$>$ +tag?}{ +4x project and 3x maintainer} + +\vote{D: what goes into the $<$project$>$ tag? a project shortname or an +e-mail address?}{ +4x shortname, 1x e-mail, 2x abstain} + +\vote{E: do we want a 1:1 mapping of a new e-mail address to the +project shortname?}{ +4 yes, 2 no} + +\vote{F: define the project shortname on the wiki project page, and +expect that any project is *also* reachable as +shortname@proj.gentoo.org}{ +4 yes, 2 abstain} + +After these decisions several council members stated that things were +going the wrong way and that they would like to change their votes for +earlier decisions, thereby making latter decisions obsolete. As a +consequence, it was suggested to scrap the just-made decisions again +and request a GLEP on the issue. + +\vote{All votes today from vote B on are anulled. The council recommends +that the details on herds to projects transition should be worked out +in a GLEP.}{ +6 yes, 1 abstain} + + +\agendaitem{Open bugs with council participation} + +\bug{503382}: Ulm stated that the 20131210 summary has been written and submitted, +and minor corrections were suggested. + + +\agendaitem{Open floor} + +No issues were brought up. |