Index: src/rm12/rm12
===================================================================
--- src/rm12/rm12	(revision 5f4d9c3b32eea7b6643a751aa75bdb05b7d41576)
+++ src/rm12/rm12	(revision b97a55609b527df1f92edbe0c70d03a6385c0132)