[SCM] branch NoPartialSpecialization_ObservedValue_wCallback deleted. v1.5.1-145-g6edc017
28 Apr
2016
28 Apr
'16
8:27 p.m.
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "". The branch, NoPartialSpecialization_ObservedValue_wCallback has been deleted was 6edc017981e57df23f15b819c4092694ba7617a8 - Log ----------------------------------------------------------------- 6edc017981e57df23f15b819c4092694ba7617a8 Removed partial specialization of ObservedValue_wCallback for index. ----------------------------------------------------------------------- hooks/post-receive --
3648
Age (days ago)
3648
Last active (days ago)
0 comments
1 participants
participants (1)
-
git@ins.uni-bonn.de