15 Jul
2020
15 Jul
'20
11:14 a.m.
On Jul 15, 2020, at 8:19 AM, Sven Hartge <sven@svenhartge.de> wrote:
And in the end the load order should be fixed by sorting before loading to make it stable for everyone and not break semi-randomly based on the way a filesystem presents/stores the entries in a directory.
As alway, patches are welcome. Alan DeKok.