**** BEGIN LOGGING AT Sat Jan 11 03:00:53 2020
Jan 11 20:22:06 <armpit> RP, thanks for merging
Jan 11 23:43:37 <RP> armpit: np, thanks for patience and sorting the stable series!
**** ENDING LOGGING AT Sun Jan 12 02:59:58 2020