diff -Nru widelands-20-ppa0-bzr9242/data/campaigns/fri01.wmf/scripting/mission_thread.lua widelands-20-ppa0-bzr9243/data/campaigns/fri01.wmf/scripting/mission_thread.lua
--- widelands-20-ppa0-bzr9242/data/campaigns/fri01.wmf/scripting/mission_thread.lua	2020-04-01 09:33:45.000000000 +0000
+++ widelands-20-ppa0-bzr9243/data/campaigns/fri01.wmf/scripting/mission_thread.lua	2020-04-02 13:35:21.000000000 +0000
@@ -462,7 +462,7 @@
    -- 2 soldiers with health-1/attack-2/defense-0.
    wl.Game():save_campaign_data("frisians", "fri01", persist)
    campaign_message_box(victory_1)
-   p1:reveal_scenario("frisians01")
+   p1:mark_scenario_as_solved("fri01.wmf")
    -- END OF MISSION 1
 end
 
diff -Nru widelands-20-ppa0-bzr9242/data/campaigns/fri02.wmf/scripting/mission_thread.lua widelands-20-ppa0-bzr9243/data/campaigns/fri02.wmf/scripting/mission_thread.lua
--- widelands-20-ppa0-bzr9242/data/campaigns/fri02.wmf/scripting/mission_thread.lua	2020-04-01 09:33:45.000000000 +0000
+++ widelands-20-ppa0-bzr9243/data/campaigns/fri02.wmf/scripting/mission_thread.lua	2020-04-02 13:35:21.000000000 +0000
@@ -315,7 +315,7 @@
    while not (done_mining and done_fighting) do sleep(4731) end
    sleep(10000)
    campaign_message_box(victory_1)
-   p1:reveal_scenario("frisians02")
+   p1:mark_scenario_as_solved("fri02.wmf")
    --END OF MISSION 2
 end
 
diff -Nru widelands-20-ppa0-bzr9242/debian/bzr-builder.manifest widelands-20-ppa0-bzr9243/debian/bzr-builder.manifest
--- widelands-20-ppa0-bzr9242/debian/bzr-builder.manifest	2020-04-01 09:34:11.000000000 +0000
+++ widelands-20-ppa0-bzr9243/debian/bzr-builder.manifest	2020-04-02 13:36:25.000000000 +0000
@@ -1,2 +1,2 @@
-# bzr-builder format 0.3 deb-version 1:20-ppa0-bzr9242-202004010933
-lp:widelands revid:bunnybot@widelands.org-20200401092708-q7pkbki0wq6snatb
+# bzr-builder format 0.3 deb-version 1:20-ppa0-bzr9243-202004021335
+lp:widelands revid:bunnybot@widelands.org-20200402131942-xt2s7baz6bjshxha
diff -Nru widelands-20-ppa0-bzr9242/debian/changelog widelands-20-ppa0-bzr9243/debian/changelog
--- widelands-20-ppa0-bzr9242/debian/changelog	2020-04-01 09:34:11.000000000 +0000
+++ widelands-20-ppa0-bzr9243/debian/changelog	2020-04-02 13:36:25.000000000 +0000
@@ -1,8 +1,8 @@
-widelands (1:20-ppa0-bzr9242-202004010933~ubuntu16.04.1) xenial; urgency=low
+widelands (1:20-ppa0-bzr9243-202004021335~ubuntu16.04.1) xenial; urgency=low
 
   * Auto build.
 
- -- Widelands Developers <widelands-dev@lists.launchpad.net>  Wed, 01 Apr 2020 09:34:11 +0000
+ -- Widelands Developers <widelands-dev@lists.launchpad.net>  Thu, 02 Apr 2020 13:36:25 +0000
 
 widelands (1:19+repack-6widelands1) UNRELEASED; urgency=medium