| 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 <2012> 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 | Index | 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 <2012> 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 |
| <== Date ==> | <== Thread ==> |
|---|
| Subject: | [Merge] lp:~epics-core/epics-base/server-side-plugins into lp:epics-base |
| From: | [email protected] |
| To: | [email protected], Ralph Lange <[email protected]> |
| Date: | Mon, 25 Jun 2012 17:36:32 -0000 |
The proposal to merge lp:~epics-core/epics-base/server-side-plugins into lp:epics-base has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~epics-core/epics-base/server-side-plugins/+merge/108028
--
https://code.launchpad.net/~epics-core/epics-base/server-side-plugins/+merge/108028
Your team EPICS Core Developers is requested to review the proposed merge of lp:~epics-core/epics-base/server-side-plugins into lp:epics-base.