Index: /branches/BNC_2.12/src/RTCM3/RTCM3Decoder.cpp
===================================================================
--- /branches/BNC_2.12/src/RTCM3/RTCM3Decoder.cpp	(revision 8162)
+++ /branches/BNC_2.12/src/RTCM3/RTCM3Decoder.cpp	(revision 8163)
@@ -113,5 +113,5 @@
   if (_CurrentTime.valid() && CurrentObsTime != _CurrentTime) {
     decoded = true;
-    _obsList = _CurrentObsList;
+    _obsList.append(_CurrentObsList);
     _CurrentObsList.clear();
   }
