Hello, I merged the remained of the patch series. I merged the ‘git-fetch’ patch of ‘monero-core’ with the updated, and I declared “monero-core” a deprecated package name for “monero-gui”. We’re done now. Thank you! Ludo’.