Commit graph

378 commits

Author SHA1 Message Date
clayton craft
7b8b0ede43
temp/geary: upgrade to 3.38.0.1 w/ Purism patches (MR 1809)
fixes #880
2020-12-14 00:54:44 -08:00
Bart Ribbers
02e5e765db
temp/phosh: drop, upstreamed to Alpine 2020-12-12 09:25:26 +01:00
Bart Ribbers
49fa7d35f6
temp/plasma-phone-components: upgrade to 5.20.4_git20201206 (MR 1797) 2020-12-11 13:40:48 +03:00
clayton craft
19b6965bd6
temp/u-boot-librem5: upgrade to 0.8 (MR 1790)
This syncs u-boot with the upstream branch, and includes the following
new features:
- support for board rev in u-boot
- fix uart4

[ci:skip-build]: already built successfully in CI
2020-12-06 18:10:14 -08:00
Alexey Min
eb18df5f24
Revert "temp/xorg-server: temporarily fork from alpine (+depends) (MR 1768)"
This reverts commit 01d2a8e767.

All of those packages are now available in Alpine repos
and even a newer version of xorg-server is already there.
2020-12-07 01:16:10 +03:00
Alexey Min
b250f1ba16
Revert "temp/libinput: temporarily fork from alpine (+depends) (MR 1771)"
This reverts commit 3bd9f62da2.

Both libevdev and libinput are now available for armv7.

- http://dl-cdn.alpinelinux.org/alpine/edge/community/armv7/libevdev-1.10.0-r0.apk
- http://dl-cdn.alpinelinux.org/alpine/edge/community/armv7/libinput-1.16.4-r0.apk
2020-12-07 01:02:35 +03:00
Dylan Van Assche
83dc3396c6
temp/gnome-control-center: upgrade to 9999_git20201203 (MR 1777)
[ci:skip-build]: already built successfully in CI
2020-12-03 16:11:20 +01:00
Bart Ribbers
c13839f2de
temp/plasma-phone-components: upgrade to 5.20.4_git20201112 2020-12-02 19:38:29 +01:00
Bart Ribbers
6c445189b5
temp/plasma-nano: upgrade to 5.20.4_git20201001 2020-12-02 19:37:52 +01:00
Oliver Smith
3cf792d157
temp/xcb-util-cursor: temporarily fork from alpine
Make it available for armv7 again. This is the last missing package to
build postmarketos-ui-plasma-mobile again, I verified it.
2020-12-02 12:33:55 +01:00
Oliver Smith
3bd9f62da2
temp/libinput: temporarily fork from alpine (+depends) (MR 1771)
Make libinput available for armv7 in postmarketOS edge, until it is in
Alpine edge again.
2020-12-02 11:55:04 +01:00
Oliver Smith
01d2a8e767
temp/xorg-server: temporarily fork from alpine (+depends) (MR 1768)
Add it to pmOS for arm, until they are in Alpine again.
Related: https://postmarketos.org/edge/2020/12/01/xorg-server-moved/

[ci:skip-vercheck]: pkgrel doesn't need to be -r0
2020-12-01 15:59:23 +01:00
Dylan Van Assche
42e857ab79
temp/modemmanager: Fix missing text messages in deep sleep and reduce probing time
[ci:skip-build]: already built successfully in CI
2020-11-29 11:50:18 -08:00
Dylan Van Assche
a7b8e0289b
temp/modemmanager: Upgrade to 1.14.8
[ci:skip-build]: already built successfully in CI
2020-11-29 11:50:11 -08:00
clayton craft
ca1adb070a
temp/geary: upgrade to git20201126 (MR 1764)
The notable change here is a *much* better folder view on mobile.

[ci:skip-build]: already built successfully in CI
2020-11-27 14:37:50 +01:00
clayton craft
1340cffecf
temp/dino: fork from Alpine to build feature/handy mobile UI branch (MR 1754)
This packages the libhandy work in dino's feature/handy branch, which
makes the UI quite usable on mobile displays. A couple of windows don't
work well yet (e.g., the setting window), but chatting/omemo/file
transfer all work pretty well.
2020-11-25 22:36:01 -08:00
Bart Ribbers
dcf939622b
temp/geary: fork from Alpine to apply Purism's mobile patches (MR 1358)
[ci:skip-build]: already built successfully in CI
2020-11-21 13:54:56 -08:00
Maarten van Gompel
68ef03efbc
temp/modemmanager: Fix sending SMS with UTF-16 characters (MR 1714)
Upstream: no

Patch recommended by Aleksander Morgado in upstream issue, until a proper
fix is developed:
https://gitlab.freedesktop.org/mobile-broadband/ModemManager/-/issues/274#note_671679
2020-11-21 13:35:29 -08:00
Luca Weiss
959bbaaffe
treewide: remove unused files (MR 1731)
These files aren't references by any APKBUILD, delete them.
2020-11-18 11:24:01 +01:00
Newbyte
9419179a52
temp/phosh: upgrade to 0.6.0 (MR 1726) 2020-11-17 10:00:54 +01:00
Bart Ribbers
3c83a7aaf8
temp/plasma-phone-components: upgrade to 5.20.3_git20201108 (MR 1703) 2020-11-12 11:44:31 +01:00
Bart Ribbers
5222119570
temp/plasma-nano: upgrade to 5.20.3_git20201001 (MR 1703) 2020-11-12 11:44:31 +01:00
Timothee LF
85e0b12f0d
temp/gnome-software: backport Appstream from Alpine and add our own (MR 1688) 2020-11-12 08:14:38 +01:00
Oliver Smith
4d4bca4f8b
Revert "temp/wlroots: revert 0 dimension error check (MR 1702)"
This reverts commit c3e87a47ca. It has
been merged in Alpine, no need for our fork.
2020-11-10 21:44:57 +01:00
Oliver Smith
c3e87a47ca
temp/wlroots: revert 0 dimension error check (MR 1702)
Currently phosh is broken in postmarketOS edge. Fork wlroots from Alpine
and revert the new consistency check that results in the breakage. I've
submitted the same to Alpine, but let's get it in pmOS now so it is
fixed ASAP.

Alpine MR: https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/14522
[ci:skip-vercheck]: new package added with -r1 on purpose
2020-11-10 21:23:11 +01:00
clayton craft
9ff42ff776
temp/phosh: upgrade to 0.5.1 (MR 1680) 2020-11-04 14:39:30 +01:00
Timothee LF
5b939ba437
temp/gnome-control-center: upgrade to 9999_git20201014. (MR 1668) 2020-10-30 23:27:15 -07:00
Bart Ribbers
b6d6657875
temp/plasma-phone-components: upgrade to 5.20.2_git20201029 (MR 1663) 2020-10-30 18:07:26 +01:00
Alexander Akulich
e48006eb1b
temp/plasma-nano: upgrade to 5.20.2_git20201001 (MR 1663)
plasma-nano (albeit saying it is 5.20.1) is pointing to the master branch
and kept as-is (there is no updates in master and I don't see a reason to
downgrade it to the actual 5.20.2 tag which is a few small commits behind
the master).
2020-10-30 18:06:20 +01:00
Oliver Smith
4247902156
temp/phosh: upgrade to 0.5.0 (MR 1656)
Co-Authored-By: Martijn Braam <martijn@brixit.nl>
2020-10-29 19:32:38 +01:00
Timothee LF
e38c7c069a
temp/gtk+3.0: upgrade to 9999_git20201022
Remove patches:
'0001-gtk-meson.build-add-new-hdy-files.patch' and
'10-Revert-gdkseatdefault-Grab-touch-events-where-applic.patch'
appear in the code downloaded from Purism at precisely the
location of the patches.

[ci:skip-build]: already built successfully in CI
2020-10-28 14:51:03 +01:00
Timothee LF
ae9fd7f8be
temp/epiphany: upgrade to 9999_git20201019 (MR 1650) 2020-10-27 17:22:24 +01:00
Timothee LF
87cf85746e
temp/gtk+3.0: tweak downgrade workaround for libportal (MR 1650) 2020-10-27 17:22:24 +01:00
Bart Ribbers
7fe548c81a
temp/plasma-phone-components: upgrade to 5.20.1_git20201019 (MR 1590) 2020-10-25 17:34:35 +01:00
Bart Ribbers
013dcd11dd
temp/plasma-nano: upgrade to 5.20.1_git20201001 (MR 1590) 2020-10-25 17:34:10 +01:00
Minecrell
fca4ec8c01
temp/modemmanager: build with a single thread only (MR 1607)
For some reason, the ModemManager build tends to freeze when built
with QEMU user emulation for arm*. Changing the build to use a single
thread only (-j1) avoids that, although the build is slower of course.

Also limit building to "armhf armv7 aarch64" since the forks are not
needed on any other architectures, to reduce build times a bit. The
other architectures can just use the upstream packages from Alpine.
2020-10-23 12:18:22 +03:00
Minecrell
9c76176c24
temp/ofono: assume mainline gobi network interface is "rmnet0" (MR 1607)
This allows to connect the modem to the Internet with oFono.
I have verified that this does not break anything if the "rmnet0"
network interface is missing. Plus, all mainline devices currently
covered by the package should also be able to use the new "BAM DMUX"
network driver that is used as network interface to the modem.

(Note: This works differently on newer SoCs, but they also need
       something different in oFono...)
2020-10-23 12:18:22 +03:00
Minecrell
0062418e39
temp/modemmanager: fork from Alpine (MR 1607)
Most older Qualcomm SoCs (e.g. MSM8916, MSM8974, ...) communicate
with the modem through shared memory. On mainline kernels these
shared memory channels are exposed through the RPMSG subsystem.

This is different from communication through USB or serial interfaces
that are currently supported by ModemManager.

This commit forks the "modemmanager" package from Alpine and adds
a patch that allows ModemManager to talk to modems through the RPMSG
subsystem.

Working functionality: Calls, SMS, Mobile Data

The same patch has also been submitted upstream:
https://gitlab.freedesktop.org/mobile-broadband/ModemManager/-/merge_requests/363
2020-10-23 12:12:25 +03:00
Minecrell
25147b4aa3
temp/ofono: build with a single thread only (MR 1637)
For some reason, the ModemManager build tends to freeze when built
with QEMU user emulation for arm*. Changing the build to use a single
thread only (-j1) avoids that, although the build is slower of course.

The same thing seems to happen fo oFono as well, so set that to -j1 too.

Also limit building to "armhf armv7 aarch64" since the forks are not
needed on any other architectures, to reduce build times a bit. The
other architectures can just use the upstream packages from Alpine.
2020-10-23 09:27:51 +02:00
Alexander Akulich
129b8b7318
temp/ofono: Add a patch for QMI modem driver to fix outgoing calls (MR 1637) 2020-10-23 09:27:51 +02:00
Alexander Akulich
e67d4800a6
temp/ofono: Add a way to set ofonod arguments (MR 1637) 2020-10-23 09:27:51 +02:00
Oliver Smith
80fec94eb8
temp/upower: fork from alpine to apply torch patch (MR 1623)
Required to make the torch button work in Phosh.

[ci:skip-build]: already built successfully in CI
2020-10-23 08:20:11 +02:00
Luca Weiss
65983235e7
temp/phosh: upgrade to 0.4.5 (MR 1623)
re-fork from Alpine to get upstream packaging changes as well
2020-10-22 14:05:37 +02:00
Luca Weiss
e1ee641703
temp/kitinerary: remove (MR 1621) 2020-10-07 09:28:29 +02:00
Luca Weiss
1270708093
temp/os-prober: remove (MR 1621) 2020-10-07 09:28:29 +02:00
Luca Weiss
6e77769518
temp/evtest: remove (MR 1621) 2020-10-07 09:19:44 +02:00
Luca Weiss
b4e84320de
temp/calamares: remove (MR 1621) 2020-10-07 09:19:33 +02:00
Alexey Min
ee6a541234
temp/gnome-software-plugin-apk: upgrade to 0.8.1 and sync with upstream (MR 1593)
* add install_if to pull in w/ gnome-software
  90b924a334
* use abuild-meson & meson compile/test/install
  47360782ab
* use apk-polkit-rs instead of apk-polkit
  0f6c2d95f1
* upgrade to 0.8.1
  ce795a4d27
* don't pull in alpinelinux-apppstream-data
  c35a1b4ba7

NOTE: alpinelinux-apppstream-data was removed in
      946967b01f
2020-09-21 11:41:33 +02:00
Clayton Craft
08aa35caa5
temp/gnome-contacts: add patch to fix compilation on vala 0.50.0 (MR 1546)
This patch is from upstream gnome-contacts:
22ac2c6fec

Purism doesn't have it in their fork:
https://source.puri.sm/Librem5/gnome-contacts/-/issues/43

[ci:skip-vercheck]: some of these have pkgrel>0 - let's keep that in
order to have less differences with v20.05.
[ci:skip-build]: generated log is too long, CI fails
2020-09-15 17:08:42 +02:00
Oliver Smith
8a49cb5647
temp/evince: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:35 +02:00
Oliver Smith
e9e4b505e2
temp/epiphany: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
daa0cfc434
temp/gnome-software-plugin-apk: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
05b1d809dc
temp/gnome-software: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
cebea0e543
temp/gnome-control-center: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
44191c150c
temp/gnome-contacts: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
b320f9482a
temp/gnome-calculator: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:21 +02:00
Oliver Smith
4e59a58aa2
temp/phosh: copy fork from v20.05 branch (MR 1546)
Set pkgver to 9999, so it is always preferred over the Alpine edge
version.
2020-09-15 17:08:21 +02:00
Oliver Smith
7cf6bae884
temp/gtk+3.0: copy fork from v20.05 branch (MR 1546) 2020-09-15 17:08:15 +02:00
Oliver Smith
29c0a58858
temp/kitinerary: fork temproarily from Alpine
Fork it, so kde/itinerary package can build for armv7 and unblock bpo.

>>> itinerary: Analyzing dependencies...
ERROR: unsatisfiable constraints:
  so:libpoppler.so.101 (missing):
    required by: kitinerary-20.08.1-r0[so:libpoppler.so.101]
2020-09-11 17:14:12 +02:00
Clayton Craft
0e365f7218 temp/u-boot-librem5: upgrade to 0.7 (MR 1561)
This upgrades u-boot to the latest upstream Purism version, and uses the
latest DDR training firmware.
APKBUILD was reformatted to replace indentation with tabs.
2020-09-10 08:31:06 +00:00
Bart Ribbers
cca7e7684b
temp/wys-pinephone: modernize (MR 1538) 2020-09-08 10:09:07 +02:00
Bart Ribbers
46fdc2c437 temp/plasma-phone-components: upgrade to 5.19.5_git20200728
Make sure our package is a higher version than the one in Alpine
2020-09-05 21:50:10 +02:00
Bart Ribbers
8cbd8e3957 temp/plasma-nano: upgrade to 5.19.5_git20200728
Make sure our package is a higher version than the one in Alpine
2020-09-05 21:49:56 +02:00
Bart Ribbers
9835084f5a
temp/u-boot-pinephone: set RAM block back to 552 (MR 1527)
We were using a frequency of 624 which froze my device and in the past
other units too. Set it back to 552 as before so this doesn't happen
anymore

This is being upstreamed, https://gitlab.com/pine64-org/u-boot/-/merge_requests/3

(cherry picked from commit 88b48dee152686a887809ddb296cfd96e0c89f55)
2020-09-03 01:48:09 -07:00
Bart Ribbers
43ed230a3e temp/plasma-phone-components: re-enable on armv7 and x86
Originally disabled because of https://gitlab.alpinelinux.org/alpine/aports/-/issues/11807
but the plasma-pa is available again
2020-08-25 21:18:32 +02:00
Danct12
5a29944d10 temp/u-boot-pinephone: switch to pine64-org/u-boot (MR 1495)
Signed-off-by: Danct12 <danct12@disroot.org>
2020-08-22 10:34:04 +02:00
Bart Ribbers
03abf416e6 temp/kitinerary: drop
The aarch64 builder upstream has catched up and it's available in the
repositories again
2020-08-20 12:36:02 +02:00
Oliver Smith
1e08e99d69
temp/kitinerary: fork from Alpine
Alpine's aarch64 builder is stuck and did not build 20.04.3-r1 yet. This
causes kde/itinerary from pmaports.git to fail:
https://builds.sr.ht/~postmarketos/job/282427#task-pmbootstrap_build-415

I've verified that this package builds for aarch64 with pmbootstrap, and
disabled other architectures.
2020-08-18 15:09:24 +02:00
Danct12
fa2d7a8b3a
temp/mesa-git: drop (MR 1496)
Signed-off-by: Danct12 <danct12@disroot.org>
2020-08-18 14:44:03 +07:00
Bart Ribbers
c00425cedf
temp/plasma-phone-components: upgrade to 5.19.4_git20200728 (MR 1459) 2020-08-06 16:15:25 +02:00
Bart Ribbers
f709e0a250
temp/plasma-nano: upgrade to 5.19.4_git20200728 (MR 1459) 2020-08-06 16:15:05 +02:00
Oliver Smith
9e78998072
temp/calamares: add !check
The "shellprocesstest" is failing when building for armv7 on sr.ht. I
was not able to reproduce it locally. Just disable all tests for now.
It would be better to just disable the failing test, but since I can't
reproduce it locally I can't say that the build will go through then.
This package is in temp/, so let's not waste much time here. !check can
be removed when upstreaming it to Alpine.
[ci:skip-vercheck] [ci:skip-build]
2020-08-03 12:25:42 +02:00
Oliver Smith
97e5a3a7d2
temp/plasma-phone-components: disable for armv7, x86
Missing plasma-pa, plasma-workspace packages in Alpine edge for these
architectures.
2020-08-03 12:16:58 +02:00
Bart Ribbers
8c59659937 temp/plasma-phone-components: upgrade to 5.19.4_git20200728
Note that this doesn't actually increase the version of the source
files, it's just a bump to be newer than the Alpine packages again
2020-08-02 18:44:55 +02:00
Bart Ribbers
e65dec50cc temp/plasma-nano: upgrade to 5.19.4_git20200728
Note that this doesn't actually increase the version of the source
files, it's just a bump to be newer than the Alpine packages again
2020-08-02 18:44:07 +02:00
Oliver Smith
273797a767
Revert "*/*: disable armv7 for plasma programs"
The circular dependency has been resolved, and the binary packages have
been pushed to Alpine#s repsitory. This reverts commit
35015139f3.
[ci:skip-build] [ci:skip-vercheck]

Related: https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/10757
2020-07-30 18:04:25 +02:00
Oliver Smith
983bc8318b
temp/mesa-git: apply more patches to build on 32-bit arm
Apply the rest of https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4279
to fix the build for real. I've verified that this builds for armv7 on
edge.
2020-07-30 12:55:01 +02:00
Oliver Smith
cb22119c3d
temp/mesa-git: apply patch to build on 32-bit arm
Taken from upstream. Our mesa-git is pretty outdated, we should update
it soon. But we need to unblock the repository first, so this is the
fastest way for now.
2020-07-29 13:30:10 +02:00
Oliver Smith
35015139f3
*/*: disable armv7 for plasma programs
"plasma" and some related packages are currently missing in Alpine edge
armv7 due to a cyclic dependency. Let's disable all packages depending
on plasma for armv7 temporarily, to get the pmOS edge armv7 repo up
again.
[ci:skip-build], [ci:skip-vercheck]: only arch line changed

Related: build.postmarketos.org#72
2020-07-29 12:19:04 +02:00
Oliver Smith
203becec0b
temp/evtest: fork from Alpine
Add patch to fix build for armv7, armhf. That patched version is being
upstreamed to Alpine. Fork it now, so our builds are not blocked.

Related: builds.postmarketos.org#72
2020-07-29 11:39:15 +02:00
Luca Weiss
9a878ee7ee temp/u-boot-pinephone: apply patch for 3GB RAM support (MR 1420) 2020-07-18 21:59:13 +02:00
Bart Ribbers
a1aae9ff47
temp/u-boot-pinephone: add crust firmware (MR 1163) 2020-07-16 23:14:54 +02:00
Martijn Braam
c6afbf8942
temp/wys-pinephone: new aport (MR 1406) 2020-07-10 22:37:59 +02:00
Bart Ribbers
52072fa952 temp/plasma-phone-components: upgrade to 5.19.3_git20200626 2020-07-08 15:47:41 +02:00
Bart Ribbers
51b6a561a3 temp/plasma-nano: upgrade to 5.19.3_git20200705 2020-07-08 15:46:41 +02:00
PureTryOut
ff97faf505
temp/plasma-phone-components: upgrade to 5.19.2_git20200626 (MR 1373) 2020-06-27 21:33:45 +03:00
PureTryOut
323fabb2f8
temp/plasma-nano: upgrade to 5.19.2_git20200625 (MR 1373) 2020-06-27 21:33:43 +03:00
Oliver Smith
cab8f10d2f
*/*: bump pkgrels for failed builds
gitlab.com had a service disruption, so it was not possible to "git
clone" from gitlab.com from some regions, like where the sourcehut
infrastructure is located. Since we are building our packages on
builds.sr.ht, this caused all packages that should be built at that time
to fail. It is working again, so bump the pkgrels to restart the builds.
2020-06-27 09:13:19 +02:00
Bart Ribbers
356e7ecb77
*/*: switch CMake buildtype to None (MR 1311)
This switch has happened in the Alpine repos quite a while ago and most
of the pmOS packages were using it already too, so let's switch over the
last ones as well.

This also cleans up the APKBUILDs where necessary
2020-06-26 11:31:37 +00:00
Oliver Smith
2f05e21d67
temp/calamares: upgrade to 3.2.26.1 (MR 1366)
Upgrade to latest bugfix release, and add a patch to fix weird looking
borders on mobile.
2020-06-25 07:15:23 +02:00
Oliver Smith
166e702da7
temp/plasma-phone-components: split vkbd style (MR 1363)
Put virtual keyboard style into a subpackage, and let the main package
depend on it. That way, it can be used in postmarketos-ondev, without
pulling in all of plasma-phone-components.
2020-06-24 08:43:36 +02:00
Antoine Fontaine
d7d0a4b5aa
temp/u-boot-pinephone: disable too fast fast dram clock speed (MR 1351)
Fixes https://gitlab.com/postmarketOS/pmaports/-/issues/547 and
https://gitlab.com/postmarketOS/pmaports/-/issues/606. See also
https://forum.pine64.org/showthread.php?tid=9832.
2020-06-20 12:26:47 +00:00
Luca Weiss
bf452101bd
temp/calamares: upgrade to 3.2.26 (MR 1342) 2020-06-20 10:42:12 +02:00
Oliver Smith
aa832aeea0
temp/calamares: disable armhf
Fails to build, because extra-cmake-modules from Alpine is not available
for armhf. Its APKBUILD says "Blocked by qt5-qtdeclarative".

[ci:skip-vercheck]
2020-06-18 22:22:34 +02:00
Oliver Smith
b6a7d80e45
temp/calamares: new aport (MR 1296)
Based on PureTryOut's testing/calamares branch. Thanks!
2020-06-18 21:50:22 +02:00
Oliver Smith
2f3f0bf333
temp/os-prober: new aport (MR 1296)
Taken from PureTryOut's testing/calamares repository, thanks!
2020-06-17 21:41:06 +02:00
Danct12
7433ea0fc7
temp/u-boot-rockpro64: bump pkgrel to build for ARM TF 2.3 (MR 1286)
[ci:skip-build]: keeps hanging under CI

Signed-off-by: Danct12 <danct12@disroot.org>
2020-06-16 13:15:58 +02:00
Danct12
a67a00f038
temp/u-boot-pinephone: bump pkgrel to build for ARM TF 2.3 (MR 1286)
Signed-off-by: Danct12 <danct12@disroot.org>
2020-06-16 13:15:58 +02:00
Danct12
c7fafc1e2d
temp/arm-trusted-firmware: upgrade to 2.3 (MR 1286)
Signed-off-by: Danct12 <danct12@disroot.org>
2020-06-16 13:15:58 +02:00
Bart Ribbers
074636ce09
temp/kwin: drop, newer version is in Alpine (MR 1235) 2020-06-15 15:16:40 +02:00