[operators] permission to merge develop to master

5 Mar
2016
5 Mar
'16
8:02 a.m.
May I merge the ADL protection from develop to master for utility/operators?

10:45 a.m.
It is just a fix, but I’m afraid merging produced some unexpected result :-/ If someone could have a look at the recent commit history, there is a commit from me about merging “develop” to “develop” and I have no idea why. It contains changes to string_ref.hpp and a bunch of other files. Could someone with more experience with git have a look and help to revert this to a sane state? Thanks. (I hate git. I looked at the changes before pushing them and this wasn’t there - now it is?!)
3398
Age (days ago)
3398
Last active (days ago)
3 comments
2 participants
participants (2)
-
Daniel Frey
-
Vicente J. Botet Escriba