thomasw@fastmail.cn, le mar. 03 sept. 2019 13:50:22 -0400, a ecrit: > the releases page on Github which apparently are different than the releases on Gnome's site. Yes, these are really problematic. github etc. make people think that a release is just a snapshot of the git tree, but with auto* it has never been so. Samuel