6 files changed, 89 insertions, 0 deletions
diff --git a/decisions/decisions.but b/decisions/decisions.but
index 91288ca..6987bfd 100644
--- a/decisions/decisions.but
+++ b/decisions/decisions.but
@@ -44,6 +44,8 @@ Encourage developers to use the latest EAPI
 [Future EAPI] unpack should match extensions case-insensitively
 477030
 Missing summary for 20130611 council meeting
+480408
+Add /releases/${arch}/verified tree for tested autobuilds
 481980
 [Future EAPI] Consider that DOCS variable can contain directories
 483244
diff --git a/decisions/decisions.mlf b/decisions/decisions.mlf
index cc45c4b..a560ad0 100644
--- a/decisions/decisions.mlf
+++ b/decisions/decisions.mlf
@@ -106,6 +106,8 @@ d4a276a047fd155512f9b746253582b7:gentoo-project
 Rich Freeman
 d899dd93be2f93b85f65f47c54087806:gentoo-project
 Pacho Ramos
+daa09e196660d1ecfe2fb7a7726ce489:gentoo-project
+Andreas K. Huettel
 dc5406af670aebc050362fcbd8cd528e:gentoo-project
 Anthony G. Basile
 dfcb99f9fd1799313c6a5ef6e18f15b6:gentoo-project
diff --git a/decisions/decisions.mls b/decisions/decisions.mls
index 09a479b..9048a59 100644
--- a/decisions/decisions.mls
+++ b/decisions/decisions.mls
@@ -106,6 +106,8 @@ d4a276a047fd155512f9b746253582b7:gentoo-project
 Re: [gentoo-project] Call for agenda items - Council meeting 2013-06-11
 d899dd93be2f93b85f65f47c54087806:gentoo-project
 Re: [gentoo-project] Council meeting 2015-03-10: call for agenda items
+daa09e196660d1ecfe2fb7a7726ce489:gentoo-project
+Build log locales (was: [gentoo-project] Call for agenda items - Council meeting 2013-08-13)
 dc5406af670aebc050362fcbd8cd528e:gentoo-project
 [gentoo-project] Re: [gentoo-dev-announce] Call for Agenda Items -- Council Meeting 2016-02-14
 dfcb99f9fd1799313c6a5ef6e18f15b6:gentoo-project
diff --git a/decisions/decisions.mlt b/decisions/decisions.mlt
index 8eb8034..dd57af7 100644
--- a/decisions/decisions.mlt
+++ b/decisions/decisions.mlt
@@ -106,6 +106,8 @@ d4a276a047fd155512f9b746253582b7:gentoo-project
 Mon, 27 May 2013 21:30:54
 d899dd93be2f93b85f65f47c54087806:gentoo-project
 Sat, 07 Mar 2015 10:28:17
+daa09e196660d1ecfe2fb7a7726ce489:gentoo-project
+Tue, 06 Aug 2013 14:12:57
 dc5406af670aebc050362fcbd8cd528e:gentoo-project
 Thu, 04 Feb 2016 10:08:02
 dfcb99f9fd1799313c6a5ef6e18f15b6:gentoo-project
diff --git a/decisions/decisions.tex b/decisions/decisions.tex
index 717b63e..cd4c8ac 100644
--- a/decisions/decisions.tex
+++ b/decisions/decisions.tex
@@ -135,6 +135,7 @@ pdfauthor={Andreas K. Huettel}
 \chapter{Meeting summaries 2013/14}
 
 \include{summary-20130730}
+\include{summary-20130813}
 
 \include{summary-20140114}
 \include{summary-20140225}
diff --git a/decisions/summary-20130813.tex b/decisions/summary-20130813.tex
new file mode 100644
index 0000000..e84b028
--- /dev/null
+++ b/decisions/summary-20130813.tex
@@ -0,0 +1,80 @@
+
+\summary{2013}{8}{13}
+
+
+\agendaitem{Support for separate /usr partition}
+\index{separate /usr}\index{initramfs}\index{/usr merge}\index{FHS}
+
+References:
+\begin{enumerate}
+ \item 
+ Message-ID: 20130801003614.GA29807@linux1 (not in archives)
+ \item 
+ \url{http://www.gentoo.org/proj/en/council/meeting-logs/20120403.txt}
+ \item 
+ \url{http://www.linuxbase.org/betaspecs/fhs/fhs.html}
+ \item 
+ \wgoref{Early_Userspace_Mounting}
+ \item 
+ \wgoref{Initramfs/Guide}
+\end{enumerate}
+
+williamh asked for clarification of the vote about separate /usr
+support taken in the April 2012 meeting [Ref. 2]. Newer developments in
+some upstream packages make supporting a proper barrier between root
+and /usr filesystems increasingly difficult. A long discussion
+followed. Taking a decision about the question if we should do the
+/usr merge was generally regarded as too early. It was noted the
+latest FHS standard [Ref. 3] still requires that a system must be able to
+boot off root without /usr, and that we should not remove support
+where it already exists. In setups with an initramfs, some of the boot
+and repair functionality can be moved from the root filesystem to the
+initramfs. It was also observed that we need official documentation on
+how to install a system with an initramfs, although some documentation
+is already in place [Refs. 4, 5].
+
+Two votes were taken:
+\vote{Since that particular setup may already be subtly broken today
+  depending on the installed software, Council recommends using an
+  early boot mount mechanism, e.g. initramfs, to mount /usr if /usr
+  is on a separate partition.}{
+  Accepted unanimously.}
+\vote{The intention is to eventually not require maintainers to support
+  a separate /usr without an early boot mechanism once the Council
+  agrees that the necessary docs/migration path is in place.}{
+  Accepted with 4 yes votes, 1 no vote, 2 abstentions.}
+
+\agendaitem{Locale for build logs in bugzilla}
+\index{build logs}\index{locale}
+
+Reference: \agoref{gentoo-project}{daa09e196660d1ecfe2fb7a7726ce489}
+
+dilfridge suggested that we should make build logs English by default,
+by setting an appropriate locale in our profiles. From the previous
+mailing list discussion the conclusion was that LC_MESSAGES=C would be
+an appropriate setting.
+
+\vote{Make a news item, then add LC_MESSAGES=C to the base profile
+  make.defaults.}{
+  Accepted unanimously.}
+
+\agendaitem{Open bugs with council involvement}
+
+\begin{itemize}
+ \item 
+\bug{477030}: No progress since last meeting.
+  Action: scarabeus will talk to betelgeuse (who was chairman of the
+  June meeting).
+\item
+\bug{480408}:
+  No action to be taken by the council. This should be sorted out
+  within the releng team.
+\end{itemize}
+
+
+\agendaitem{Open floor}
+
+Q: Does the council favour git migration? (xmw)
+A: The council is in favour of the migration to git, and has expressed
+   its support already in a previous meeting (20110608).
+