Riccardo Pancotti comments

Results 2 comments of


                                            Riccardo Pancotti

So, how is it going with this merge request? Are we going to have the Github style as default? :)

Any update on this? P.s: @victornoel your workaround saved my day ; )