@@ -15,9 +15,9 @@
 #     GNU General Public License for more details.
 # 
 #     You should have received a copy of the GNU General Public License
 #     along with Megatest.  If not, see <http://www.gnu.org/licenses/>.
 
-echo '[v1.63/tip/dev]'
+echo '[all/v1.65/tip/dev]'
 echo 'x 1'
-echo '[v1.64/tip/dev]'
+echo '[all/v1.64/tip/dev]'
 echo 'x 1'