
Matthias Miltenberger
Optimization Support Manager at Gurobi
-
Atividade total140
-
Última atividade
-
Membro desde
-
Seguindo0 usuário
-
Seguido por0 usuário
-
Votos84
-
Assinaturas25
Visão geral da atividade
Atividade mais recente por Matthias Miltenberger-
Matthias Miltenberger comentou,
Any update on this, Zendesk?
-
Matthias Miltenberger comentou,
Any update on this, Zendesk?
-
Matthias Miltenberger comentou,
Any update on this, Zendesk?
-
Matthias Miltenberger comentou,
Any update on this, Zendesk?
-
Matthias Miltenberger comentou,
Has there been any progress regarding the inline code formatting? It's a shame that this is still not possible with the only (lackluster) workaround being to use LaTeX math mode and specify the "co...
-
Matthias Miltenberger comentou,
This would be very helpful and could increase user acceptance of the forum. People don't want to be treated like newcomers when they have been community members for a longer time. At the same time,...
-
Matthias Miltenberger comentou,
Thanks for making this change! A better way of handling this would have been to include a new configuration option so people can choose which view they prefer.
-
Matthias Miltenberger comentou,
Content tags are pretty cool but we stumbled upon a small issue that could be addressed: The list of possible tags to select from only shows the first 20 entries and it is not clear that there are ...
-
Matthias Miltenberger comentou,
This is definitely a welcome improvement!
-
Matthias Miltenberger comentou,
Properly working links would make the bot way more useful.