Hello, I am finishing the update to the widelands packaging, and upstream decided to change there lua version again. They picked lua-eris, a fork of lua5.3 intended to help persistency. I considered packaging this fork separately, but I'm not sure that it would help for the following reasons: - not sure that this fork will survive on the long term, and widelands upstream may change their mind again (so I don't want to bloat the archive). - this fork cannot be built on top of lua5.3 but must be packaged separatly. So, I propose the attached patch to the list of embeeded copies. I was thinking I could commit it myself, but I fail (and I'd prefer to have your approval here). Index: embedded-code-copies =================================================================== --- embedded-code-copies (révision 46343) +++ embedded-code-copies (copie de travail) @@ -3047,6 +3047,8 @@ lua5.3 - freedroidrpg <unfixed> (embed) + - widelands <unfixed> (fork) + NOTE: widelands embeeds the Eris fork of lua5.3 android-platform-system-core - android-tools <unfixed> (old-version) Thanks for your hard work, Mt. -- The only statistics you can trust are those you falsified yourself. -- Winston Churchill
Index: embedded-code-copies =================================================================== --- embedded-code-copies (révision 46343) +++ embedded-code-copies (copie de travail) @@ -3047,6 +3047,8 @@ lua5.3 - freedroidrpg <unfixed> (embed) + - widelands <unfixed> (fork) + NOTE: widelands embeeds the Eris fork of lua5.3 android-platform-system-core - android-tools <unfixed> (old-version)
Attachment:
signature.asc
Description: PGP signature