1. 2018-12-25 [82] CVS: herc.mirbsd.org: src miros-change Thorsten Glaser 2. 2018-12-25 [7] CVS: herc.mirbsd.org: (multiple) miros-change Thorsten Glaser 3. 2018-12-25 [7] CVS: herc.mirbsd.org: contrib miros-change Thorsten Glaser 4. 2018-12-20 [3] CVS: herc.mirbsd.org: ports miros-change Thorsten Glaser