From f1c133813cafe3d9f1e465624f7f3e19723db832 Mon Sep 17 00:00:00 2001
From: Adriaan de Groot <groot@kde.org>
Date: Fri, 2 Aug 2019 09:25:45 +0200
Subject: [PATCH] Changes: credits for recent PRs

---
 CHANGES | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/CHANGES b/CHANGES
index a3c14296c..c84f245b0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,13 +6,25 @@ website will have to do for older versions.
 # 3.2.12 (unreleased) #
 
 This release contains contributions from (alphabetically by first name):
+ - apt-ghetto
  - Bill Auger
  - embar
 
 ## Core ##
 
+ - Preliminary work to allow jobs to have a *weight* assigned to them
+   has been added. This will allow the progress bar to better reflect
+   progress by the amount of work done rather than purely by the
+   number of jobs. (Thanks to Bill Auger)
+ - Preliminary work has been added to post the installation log to a
+   pastebin for bug reporting. (Thanks to Bill Auger)
+
 ## Modules ##
 
+ - *fstab* A new configuration key *efiMountOptions* has been added, to
+   allow setting filesystem options specifically for the EFI partition.
+   (Thanks to apt-ghetto)
+
 
 # 3.2.11 (2019-07-06) #